Embedding theorems for boolean algebras and consistency results on ordinal definable sets

DOI10.2307/2272320zbMath0369.02039OpenAlexW2051531869MaRDI QIDQ4147975

P.Štěpánek, Bohuslav Balcar

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Logical aspects of Boolean algebras (03G05)

Related Items (8)

Ordinal definability in Jensen's model ⋮ Some questions about Boolean algebras ⋮ The life and work of Bohuslav Balcar (1943--2017) ⋮ Cardinal collapsing and ordinal definability ⋮ The number of rigid Boolean algebras ⋮ Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979 ⋮ On the reconstruction of boolean algebras from their automorphism groups ⋮ Iterating ordinal definability

Cites Work

• Intermediate submodels and generic extensions in set theory
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Consistency results about ordinal definability

This page was built for publication: Embedding theorems for boolean algebras and consistency results on ordinal definable sets