Intermediate submodels and generic extensions in set theory
From MaRDI portal
Publication:1218423
DOI10.2307/1970935zbMath0308.02060OpenAlexW2315572811MaRDI QIDQ1218423
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
Model-theoretic algebra (03C60) Descriptive set theory (03E15) Consistency and independence results (03E35) Set theory (03E99) Other classical first-order model theory (03C68)
Related Items
On Russell typicality in set theory ⋮ Restrictions on forcings that change cofinalities ⋮ Ordinal definability in Jensen's model ⋮ Injectivity, Projectivity, and the Axiom of Choice ⋮ Equivalence of generics ⋮ The Bristol model: An abyss called a Cohen real ⋮ Partition properties for simply definable colourings ⋮ Absoluteness of the Solovay set \(\Sigma \) ⋮ -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 ⋮ Fodor's lemma can fail everywhere ⋮ The classification of countable models of set theory ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Factoring Solovay-random extensions, with application to the reduction property ⋮ A characterization of permutation models in terms of forcing ⋮ ITERATING SYMMETRIC EXTENSIONS ⋮ Borel reducibility and symmetric models ⋮ Preface ⋮ On the Set-Generic Multiverse ⋮ A generic property of the Solovay set \(\Sigma\) ⋮ Countable OD sets of reals belong to the ground model ⋮ Symmetric submodels of a Cohen generic extension ⋮ Models of set theory with definable ordinals ⋮ Embedding theorems for boolean algebras and consistency results on ordinal definable sets ⋮ Standardization principle of nonstandard universes ⋮ Set-theoretic geology ⋮ A result of relative consistency about the predicate WO(δ, x) ⋮ REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS ⋮ The model of set theory generated by countably many generic reals ⋮ Choiceless Löwenheim-Skolem property and uniform definability of grounds ⋮ Choiceless chain conditions ⋮ Boolean-valued class forcing ⋮ Generalization of one construction by Solovay
