Boolean sentence algebras: Isomorphism constructions

DOI10.2307/2273550MaRDI QIDQ4749822zbMATH OpenOpenAlexFDO

Authors William P. Hanf, Dale Myers

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

axiomatizable mapsBoolean algebraBoolean space of modelsCantor-Bernstein theoremfirst-order theoryoperation symbolsrecursive homomorphismsrecursively isomorphic

Mathematics Subject Classification ID

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

Cites work

• The Boolean algebra of logic

Cited in

(4)

• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures
• The property of being a model complete theory is preserved by Cartesian extensions
• scientific article; zbMATH DE number 1508253 (Why is no real title available?)
• The Tarski-Lindenbaum algebra of the class of strongly constructivizable models with -stable theories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4749822)