Intermediate submodels and generic extensions in set theory

DOI10.2307/1970935MaRDI QIDQ1218423zbMATH OpenOpenAlexFDO

Authors Serge Grigorieff

Publication date 1975

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1970935

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Descriptive set theory (03E15) Consistency and independence results (03E35) Set theory (03E99) Other classical first-order model theory (03C68)

Cited in

(36)

• Generalization of one construction by Solovay
• Factoring Solovay-random extensions, with application to the reduction property
• Injectivity, Projectivity, and the Axiom of Choice
• Restrictions on forcings that change cofinalities
• REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
• A generic property of the Solovay set \(\Sigma\)
• Embedding theorems for boolean algebras and consistency results on ordinal definable sets
• Countable OD sets of reals belong to the ground model
• Borel reducibility and symmetric models
• On the set-generic multiverse
• A characterization of permutation models in terms of forcing
• On Russell typicality in set theory
• A result of relative consistency about the predicate WO(δ, x)
• The model of set theory generated by countably many generic reals
• Ordinal definability in Jensen's model
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Equivalence of generics
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• Surrealist landscape with figures (a survey of recent results in set theory)
• Choiceless chain conditions
• Boolean-valued class forcing
• Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
• Standardization principle of nonstandard universes
• Models of set theory with definable ordinals
• Bounding 2d functions by products of 1d functions
• Partition properties for simply definable colourings
• Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse
• Absoluteness of the Solovay set \(\Sigma \)
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• Symmetric submodels of a Cohen generic extension
• The classification of countable models of set theory
• Fodor's lemma can fail everywhere
• Set-theoretic geology
• The Bristol model: an abyss called a Cohen real
• Iterating symmetric extensions
• Preface

This page was built for publication: Intermediate submodels and generic extensions in set theory

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