New proof of a theorem of Gaifman and Hales

DOI10.1090/S0002-9904-1966-11493-3zbMath0158.24903MaRDI QIDQ5541314

Robert M. Solovay

Publication date: 1966

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Related Items (9)

Unnamed Item ⋮ Classifying toposes for first-order theories ⋮ Elementary equivalence of topological spaces ⋮ A model of ZF with an infinite free complete Boolean algebra ⋮ REMARKS ON CATEGORIES OF ALGEBRAS DEFINED BY A PROPER CLASS OF OPERATIONS ⋮ Unnamed Item ⋮ On the nonexistence of free complete distributive lattices ⋮ Injective hulls of chains ⋮ A Note on Countably Generated Complete Boolean Algebras

Cites Work

• The Independence of Certain Distributive Laws in Boolean Algebras
• Infinite Boolean polynomials I
• On the non-existence of free complete Boolean algebras

This page was built for publication: New proof of a theorem of Gaifman and Hales