Abstract
The undecidability of the first-order theory of diagonalizable algebras is shown here.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
C. Bernardi,On the equational class of diagonalizable algebras (The algebraization of theories which express Theor; VI),Studia Logica 36 (1975), pp. 321–331.
A. Grzegorczyk,Undecidability of some topological theories,Fundamenta Mathematicae 38 (1951), pp. 137–152.
R. Magari,The diagonalizable algebras (The algebraization of theories which express Theor:, II),Bolletino della Unione Mathematica Italiana (4), 12, Suppl. fasc. 3 (1975), pp. 117–125.
—,Representation and duality theory for diagonalizable algebras (The algebraization of theories which express Theor; IV),Studia Logica 34 (1975), pp. 305–313.
F. Montagna,Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic,Studia Logica, this issue.
R. Solovay,Probability interpretations of modal logic,Israel Journal of Mathematic 25 (1976), pp. 287–304.
L. Szczerba,Interpretability of elementary theories, in:Logic and Foundations of Mathematics and Computability Theory pp. 129–145, Dordrecht, Holland, 1977.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Montagna, F. The undecidability of the first-order theory of diagonalizable algebras. Stud Logica 39, 355–359 (1980). https://doi.org/10.1007/BF00713545
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00713545