Symmetric submodels of a Cohen generic extension

DOI10.1016/0168-0072(92)90030-4zbMath0846.03025OpenAlexW1989429036MaRDI QIDQ1207546

Claude Sureson

Publication date: 1 April 1993

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

Full work available at URL: https://doi.org/10.1016/0168-0072(92)90030-4

zbMATH Keywords

inner modelaxiom of choicefree ultrafiltersCohen generic extensionsymmetric submodels

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set theory. An introduction to independence proofs
• Intermediate submodels and generic extensions in set theory
• About Prikry generic extensions
• The model of set theory generated by countably many generic reals
• Happy families
• Definability of measures and ultrafilters
• Some applications of the notions of forcing and generic sets
• Multiple Forcing
• The axiom of choice