Journal of Symbolic Logic 48 (2):329-338 (1983)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
On Boolean Algebras and Integrally Closed Commutative Regular Rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Undecidability in Diagonalizable Algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
Extension of Relatively |Sigma-Additive Probabilities on Boolean Algebras of Logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.
Boolean Skeletons of MV-Algebras and ℓ-Groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Partial Boolean Algebras in a Broader Sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.Carl G. Jockusch Jr & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (4):1121 - 1138.
On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
The Theory of Boolean Algebras with an Additional Binary Operation.Bronisław Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Added to index2009-01-28
Total downloads4 ( #624,924 of 2,143,470 )
Recent downloads (6 months)1 ( #386,634 of 2,143,470 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.