sets of reals
This paper contains several theorems concerning the property of Baire and Lebesgue measurability of sets in second and third level of the projective hierarchy. For \(\Gamma\) a point-class define \[ \Gamma(B)\text{ iff }\forall X\in\Gamma\;(X\text{ has the property of Baire}) \] \[ \Gamma(L)\text{ iff }\forall X\in \Gamma\;(X\text{ is Lebesgue measurable}) \] \[ \Gamma(WO)\text{ iff there exists a }\Gamma\text{-well-ordering of the reals}. \] According to the introduction the main results are the following: Theorem 2.58. Let \(\varphi\) be a \(\Pi^1_3\) sentence. If \(\text{ZFC}+\varphi\) proves that \(\underset\sim {\Delta}^1_3(L)\) implies \(\Delta^1_3(B)\), then \(\text{ZFC}+ \varphi\) proves not-\(\underset\sim {\Sigma}^1_2(L)\). Theorem 2.93. Let \(\varphi\) be a \(\Pi^1_3\) sentence. If \(\text{ZFC}+\varphi\) proves that \(\underset\sim {\Delta}^1_3(B)\) implies \(\Delta^1_3(L)\), then \(\text{ZFC}+\varphi\) proves not-\(\underset\sim {\Sigma}^1_2(B)\). Theorem 3.1. If \(\varphi\) is a \(\Pi^1_3\) sentence and \(\text{ZFC}+\varphi+\underset\sim{\Delta}^1_2(B)\) proves not-\(\underset\sim {\Delta}^1_3(WO)\), then \(\text{ZFC}+\varphi\) proves not-\(\underset\sim {\Delta}^1_2(B)\). Theorem 4.1. Let \(\varphi\) be a \(\Pi^1_3\) sentence. If \(\text{ZFC}+ \varphi+\underset\sim {\Delta}^1_2(B)\) implies there is a \(\underset\sim {\Sigma}^1_3\) set which cannot be uniformized by a \(\underset\sim {\Sigma}^1_3\) function, then \(\text{ZFC}+\varphi\) proves not-\(\underset\sim {\Delta}^1_2(B)\).
- \(\Delta^ 1_ 2\)-sets of reals
- Can you take Solovay's inaccessible away?
- Descriptive set theory
- Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals
- Internal cohen extensions
- Iterated Cohen extensions and Souslin's problem
- Long projective wellorderings
- Some exact equiconsistency results in set theory
- The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
- The strength of measurability hypotheses
- Δ31 reals
- \(\Delta^ 1_ 2\)-sets of reals
- Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals
- Projective forcing
- The symplectic displacement energy
- The geometry of symplectic energy
- Summable gaps
- Non-degeneracy of the Hofer norm for Poisson structures
- \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
- The infimum of the Nijenhuis energy
- Measure, category and projective wellorders
- $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$
- Symplectic displacement energy for Lagrangian submanifolds
- scientific article; zbMATH DE number 3865265 (Why is no real title available?)
- scientific article; zbMATH DE number 4162870 (Why is no real title available?)
- On coding uncountable sets by reals
- scientific article; zbMATH DE number 4023263 (Why is no real title available?)
- Martin's axioms, measurability and equiconsistency results
- Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals
- sets and singletons
- Degenerate maxima in Hamiltonian systems
- Proper Forcing and Remarkable Cardinals
- Basis theorem for _2¹-sets
- scientific article; zbMATH DE number 797414 (Why is no real title available?)
- Projective Measure Without Projective Baire
- -sets of reals
- Bounded forcing axioms and the continuum
- The relative strengths of fragments of Martin's axiom
- A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
- Maximal sets without choice
- Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals
- N. N. Luzin's problems on imbeddability and decomposability of projective sets
This page was built for publication: sets of reals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382482)
