Solovay models and forcing extensions

DOI10.2178/JSL/1096901764MaRDI QIDQ5311750zbMATH OpenOpenAlexWikidataFDO

Authors Joan Bagaria, Roger Bosch

Publication date 29 August 2005

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1096901764

zbMATH Keywords

definably-Mahlo cardinalsequiconsistencygeneric absolutenesspreservation under projective ccc forcing extensionsSolovay model

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Recommendations

• Proper forcing extensions and Solovay models
• Solovay-type characterizations for forcing-algebras
• Model theoretic forcing in analysis
• scientific article; zbMATH DE number 4058237
• The theory of extensions and explicitly-soluble models
• Computing and Combinatorics
• On Extensions of Elementary Submodels by Forcing
• scientific article; zbMATH DE number 3959397
• Cohen forcing and inner models
• scientific article; zbMATH DE number 3959396

Cites work

• A model of set-theory in which every set of reals is Lebesgue measurable
• Generic absoluteness
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Projective forcing

Cited in

(12)

• Parameterized partition relations on the real numbers
• Proper forcing extensions and Solovay models
• Lightface \Sigma^1_2-indescribable cardinals
• Generic absoluteness under projective forcing
• On coding uncountable sets by reals
• A characterization of Martin's axiom in terms of absoluteness
• A Forcing Axiom Deciding the Generalized Souslin Hypothesis
• Solovay-type characterizations for forcing-algebras
• The stationarity of the collection of the locally regulars
• Generic absoluteness
• Forcing absoluteness and regularity properties
• Maximal sets without choice

This page was built for publication: Solovay models and forcing extensions

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