Complexity of reals in inner models of set theory

DOI10.1016/S0168-0072(98)00010-4MaRDI QIDQ1295378zbMATH OpenFDO

Authors Boban Velickovic, W. Hugh Woodin

Publication date 24 June 1999

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

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

zbMATH Keywords

analytic setcoloringscomplexity of realsconstructible realsforcinginner modelperfect setsuperperfect set

Mathematics Subject Classification ID

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

Abstract: The usual definition of the set of constructible reals is $Sigm{a}_2^1$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be analytic or even Borel in a nontrivial way. A related problem was posed by K. Prikry: can there exist a nonconstructible perfect set of constructible reals? The main result of this paper is a negative answer to Friedman's question. In fact we prove that if $M$ is an inner model of set theory and the set of reals in $M$ is analytic then either all reals are in $M$ or else $alep{h}_1^M$ is countable. We also extend this result to higher levels of the projective hierarchy under appropriate large cardinal assumptions. Concerning Prikry's problem we show that the answer is negative if "perfect" is replaced by "superperfect" but that it can be positive if "constructible" is replaced by "belonging to some inner model $M$".

Recommendations

• Is there a set of reals not in \(K(\mathbb{R})\)?
• Inner Models and Ultrafilters In L(ℝ)
• The complexity of the core model
• A Basis Theorem for Perfect Sets

Cites work

• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• A Basis Theorem for Perfect Sets
• Forcing axioms and stationary sets
• Forcing the failure of CH by adding a real
• scientific article; zbMATH DE number 4039907 (Why is no real title available?)
• scientific article; zbMATH DE number 3529851 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• Internal cohen extensions
• Nonsplitting subset of _κ(κ⁺)
• One hundred and two problems in mathematical logic
• Ramsey and freeness properties of Polish planes
• Ramsey's theorem with sums or unions
• Set theory. An introduction to independence proofs

Cited in

(14)

• Cichoń's diagram for uncountable cardinals
• Proper forcing and rectangular Ramsey theorems
• Canonical behavior of Borel functions on superperfect rectangles
• The Complexity of Infinite Computations In Models of Set Theory
• Maharam algebras and Cohen reals
• scientific article; zbMATH DE number 5722458 (Why is no real title available?)
• Almost disjoint refinements and mixing reals
• The Hurewicz dichotomy for generalized Baire spaces
• TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS
• Proper products
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• Adding a lot of Cohen reals by adding a few. I
• Continuous images of closed sets in generalized Baire spaces
• Splitting squares

This page was built for publication: Complexity of reals in inner models of set theory

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