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) Other classical first-order model theory (03C68) Descriptive set theory (03E15) Consistency and independence results (03E35) Set theory (03E99)

Cited in

(40)

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

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)