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

minimal modelgeneric extensionminimal collapse

Mathematics Subject Classification ID

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

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

• 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?)
• A quantitative theory of preferences: Some results on transition functions
• Aspects of constructibility
• Countable admissible ordinals and hyperdegrees
• On the consistency of Borel's conjecture
• The fine structure of the constructible hierarchy

Cited in

(13)

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