Consistency results about ordinal definability
From MaRDI portal
Publication:5631103
DOI10.1016/0003-4843(71)90005-2zbMath0225.02044OpenAlexW2087446231MaRDI QIDQ5631103
Publication date: 1971
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(71)90005-2
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)
Related Items
Power set recursion ⋮ Equivalence of generics ⋮ Standard sets in nonstandard set theory ⋮ Ordinal definable subsets of singular cardinals ⋮ Efimov spaces and the separable quotient problem for spaces \(C_{p}(K)\) ⋮ Unnamed Item ⋮ Mutually embeddable models of ZFC ⋮ Inner mantles and iterated HOD ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL ⋮ The ground axiom is consistent with V $\neq $ HOD ⋮ Large cardinals need not be large in HOD ⋮ Inner models from extended logics: Part 1 ⋮ Ideals and powers of cardinals ⋮ Simple complete Boolean algebras ⋮ Models of set theory with definable ordinals ⋮ Embedding theorems for boolean algebras and consistency results on ordinal definable sets ⋮ Simple complete Boolean algebras ⋮ The ground axiom ⋮ ZF and Boolean algebra ⋮ Definability of measures and ultrafilters ⋮ Set-theoretic geology ⋮ Cardinal collapsing and ordinal definability ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ On the reconstruction of boolean algebras from their automorphism groups ⋮ Iterating ordinal definability ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING