Regularity properties of definable sets of reals

DOI10.1016/0168-0072(85)90003-XMaRDI QIDQ1069930zbMATH OpenFDO

Authors Jacques Stern

Publication date 1985

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(85)90003-X

zbMATH Keywords

Baire propertyforcing with topologically ordered setsLebesgue measurabilityordinal definabilityperfect set theoremstandard model of ZFC

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Review text

Various desirable properties of sets of reals which follow from the axiom of determinateness have been shown to be consistent with ZF. This paper is a further contribution to this subject improving results obtained by R. M. Solovay and S. Shelah. The main theorem states that - assuming the existence of a standard model of ZF - there is a standard model of ZFC in which (i) every set of reals definable from ordinals and reals as parameters has the property of Baire and contains a perfect set or is well-ordered with order type \(\leq \omega_ 1\), and (ii) every ordinal- definable set of reals is Lebesgue-measurable and is Ramsey (and some additional properties hold). The author's main tool is a new concept of forcing with topologically ordered sets satisfying a lower bound property. (The papers by \textit{J. Raisonnier} and \textit{S. Shelah} to which the author refers have been published meanwhile in Isr. J. Math. 48 (1984), pp. 48-56 and pp. 1-47 resp.)

Recommendations

• \(\Delta^ 1_ 2\)-sets of reals
• Determinacy and regularity properties for idealized forcings
• Measurability and the baire property at higher levels
• Perfect set properties and large cardinals
• Σ½-sets of reals

Cites work

• A mathematical proof of S. Shelah's theorem on the measure problem and related results
• A model of set-theory in which every set of reals is Lebesgue measurable
• Can you take Solovay's inaccessible away?
• Descriptive set theory
• Happy families
• Internal cohen extensions
• Iterated Cohen extensions and Souslin's problem
• On a Notion of Smallness for Subsets of the Baire Space
• σ-Ideaux Engendres Par Des Ensembles Fermes Et Theoremes D'Approximation

Cited in

(23)

• Parameterized partition relations on the real numbers
• The strength of measurability hypotheses
• Perfect-set properties in \(L(\mathbb{R})[U]\)
• Do stronger definitions of randomness exist?
• Sweet \& sour and other flavours of ccc forcing notions
• Regularity properties for dominating projective sets
• The destruction of the axiom of determinacy by forcings on \(\mathbb{R}\) when \(\Theta\) is regular
• Set theory and the analyst
• On countable cofinality and decomposition of definable thin orderings
• On Σ‐definability without equality over the real numbers
• Unsound ordinals
• scientific article; zbMATH DE number 1301815 (Why is no real title available?)
• Definability and undefinability with real order at the background
• scientific article; zbMATH DE number 797415 (Why is no real title available?)
• Universality of Regular Realizability Problems
• On ground model definability
• A Paradox Arising from the Elimination of a Paradox
• The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem
• Determinacy and regularity properties for idealized forcings
• Tiltan and superclub
• Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals
• Radiality of definable sets
• Universal forcing notions and ideals

This page was built for publication: Regularity properties of definable sets of reals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1069930)