scientific article; zbMATH DE number 803269

zbMath0835.03012arXivmath/9401202MaRDI QIDQ4850058

Arnold W. Miller

Publication date: 9 October 1995

Full work available at URL: https://arxiv.org/abs/math/9401202

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Borel hierarchyLuzin setseparation theoremsconstructible setsGandy forcingabstract Borel hierarchyCohen real modelslarge \(\Pi^ 1_ 2\) setslow projective hierarchyrandom real models

Mathematics Subject Classification ID

Descriptive set theory (03E15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)

Related Items (22)

Borel functions and separability of metric spaces ⋮ There is no bound on Borel classes of graphs in the Luzin–Novikov theorem ⋮ Adding many Baumgartner clubs ⋮ On the scope of the Effros theorem ⋮ COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR ⋮ Analytically heavy spaces: analytic Cantor and analytic Baire theorems ⋮ Projective mad families ⋮ Topological properties of incomparable families ⋮ The distribution of ITRM-recognizable reals ⋮ On Borel sets belonging to every invariant ccc $\sigma $-ideal on $2^{\mathbb {N}}$ ⋮ Between Polish and completely Baire ⋮ Implicit measurements of dynamic complexity properties and splittings of speedable sets ⋮ Regular variation without limits ⋮ Quantum ultrametrics on AF algebras and the Gromov–Hausdorff propinquity ⋮ Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski ⋮ Countable dense homogeneity of definable spaces ⋮ Bunce-Deddens algebras as quantum Gromov-Hausdorff distance limits of circle algebras ⋮ On Borel semifilters ⋮ Infinite combinatorics and the foundations of regular variation ⋮ Some properties of \(\mathcal{I}\)-Luzin sets ⋮ Definable towers ⋮ Comparing inductive and circular definitions: Parameters, complexity and games

This page was built for publication: