Journal of Symbolic Logic

Boolean Sentence Algebras: Isomorphism Constructions

William P. Hanf and Dale Myers

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


Associated with each first-order theory is a Boolean algebra of sentences and a Boolean space of models. Homomorphisms between the sentence algebras correspond to continuous maps between the model spaces. To what do recursive homomorphisms correspond? We introduce axiomatizable maps as the appropriate dual. For these maps we prove a Cantor-Bernstein theorem. Duality and the Cantor-Bernstein theorem are used to show that the Boolean sentence algebras of any two undecidable languages or of any two functional languages are recursively isomorphic where a language is undecidable iff it has at least one operation or relation symbol of two or more places or at least two unary operation symbols, and a language is functional iff it has exactly one unary operation symbol and all other symbols are for unary relations, constants, or propositions.

Article information

J. Symbolic Logic, Volume 48, Issue 2 (1983), 329-338.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Hanf, William P.; Myers, Dale. Boolean Sentence Algebras: Isomorphism Constructions. J. Symbolic Logic 48 (1983), no. 2, 329--338.

Export citation