Boolean sentence algebras: Isomorphism constructions

DOI10.2307/2273550zbMath0511.03005OpenAlexW2102797251MaRDI QIDQ4749822

Dale Myers, William P. Hanf

Publication date: 1983

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

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

zbMATH Keywords

first-order theoryBoolean algebraCantor-Bernstein theoremrecursively isomorphicoperation symbolsaxiomatizable mapsBoolean space of modelsrecursive homomorphisms

Mathematics Subject Classification ID

Classical first-order logic (03B10) Stone spaces (Boolean spaces) and related structures (06E15)

Related Items (3)

Virtual algebraic isomorphisms between predicate calculi of finite rich signatures ⋮ The property of being a model complete theory is preserved by Cartesian extensions ⋮ Unnamed Item

Cites Work

• The Boolean algebra of logic

This page was built for publication: Boolean sentence algebras: Isomorphism constructions