Minimal model of ^ L_ 1 is countable and definable reals

DOI10.1016/0001-8708(85)90005-2MaRDI QIDQ1820156zbMATH OpenOpenAlexFDO

Authors Uri Abraham

Publication date 1985

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0001-8708(85)90005-2

zbMATH Keywords

generic extensionminimal collapseminimal model

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Descriptive set theory (03E15) Consistency and independence results (03E35)

Review text

First, a result of Prikry is proved, namely, if M is a countable, transitive model of \(ZFC+V=L\), then there is a generic extension which is a minimal model of \(\omega^ L_ 1\) is countable. In the second part this construction is modified to get a generic extension M[a], \(a\leq \omega\), with M[a] still a minimal model of \(\omega^ L_ 1\) is countable, and such that a is a \(\Pi^ 1_ 2\) singleton and all constructible reals are recursive in a.

Recommendations

• A minimal degree which collapses ω₁
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• A non-generic real incompatible with \(0^\sharp\)
• An effective minimal encoding of uncountable sets
• A Minimal Model for � CH: Iteration of Jensen's Reals

Cites work

• A quantitative theory of preferences: Some results on transition functions
• Aspects of constructibility
• Countable admissible ordinals and hyperdegrees
• scientific article; zbMATH DE number 3568689 (Why is no real title available?)
• scientific article; zbMATH DE number 3351572 (Why is no real title available?)
• scientific article; zbMATH DE number 3387344 (Why is no real title available?)
• scientific article; zbMATH DE number 3414295 (Why is no real title available?)
• On the consistency of Borel's conjecture
• The fine structure of the constructible hierarchy

Cited in

(14)

• The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\)
• Minimal universes
• Countable OD sets of reals belong to the ground model
• Perfect tree forcings for singular cardinals
• The full basis theorem does not imply analytic wellordering
• scientific article; zbMATH DE number 3855080 (Why is no real title available?)
• A Minimal Model for � CH: Iteration of Jensen's Reals
• A minimal degree which collapses ω₁
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• Recursive in a generic real
• Minimum models of second-order set theories
• On ℵ₁ many minimal models
• An effective minimal encoding of uncountable sets
• Minimal collapsing extensions of models of ZFC

This page was built for publication: Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals

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