×

zbMATH — the first resource for mathematics

The undecidability of the first-order theory of diagonalizable algebras. (English) Zbl 0463.03016

MSC:
03C05 Equational classes, universal algebra in model theory
08C10 Axiomatic model classes
06E10 Chain conditions, complete algebras
03C60 Model-theoretic algebra
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] C. Bernardi,On the equational class of diagonalizable algebras (The algebraization of theories which express Theor; VI),Studia Logica 36 (1975), pp. 321-331. · Zbl 0322.02033
[2] A. Grzegorczyk,Undecidability of some topological theories,Fundamenta Mathematicae 38 (1951), pp. 137-152. · Zbl 0045.00301
[3] 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. · Zbl 0352.08009
[4] ?,Representation and duality theory for diagonalizable algebras (The algebraization of theories which express Theor; IV),Studia Logica 34 (1975), pp. 305-313. · Zbl 0355.02021
[5] F. Montagna,Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic,Studia Logica, this issue. · Zbl 0463.03015
[6] R. Solovay,Probability interpretations of modal logic,Israel Journal of Mathematic 25 (1976), pp. 287-304. · Zbl 0352.02019
[7] L. Szczerba,Interpretability of elementary theories, in:Logic and Foundations of Mathematics and Computability Theory pp. 129-145, Dordrecht, Holland, 1977.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.