Studia Logica

, Volume 39, Issue 4, pp 355–359 | Cite as

The undecidability of the first-order theory of diagonalizable algebras

  • Franco Montagna
Article

Abstract

The undecidability of the first-order theory of diagonalizable algebras is shown here.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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.Google Scholar
  2. [2]
    A. Grzegorczyk,Undecidability of some topological theories,Fundamenta Mathematicae 38 (1951), pp. 137–152.Google Scholar
  3. [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.Google Scholar
  4. [4]
    —,Representation and duality theory for diagonalizable algebras (The algebraization of theories which express Theor; IV),Studia Logica 34 (1975), pp. 305–313.Google Scholar
  5. [5]
    F. Montagna,Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic,Studia Logica, this issue.Google Scholar
  6. [6]
    R. Solovay,Probability interpretations of modal logic,Israel Journal of Mathematic 25 (1976), pp. 287–304.Google Scholar
  7. [7]
    L. Szczerba,Interpretability of elementary theories, in:Logic and Foundations of Mathematics and Computability Theory pp. 129–145, Dordrecht, Holland, 1977.Google Scholar

Copyright information

© Polish Academy of Sciences 1980

Authors and Affiliations

  • Franco Montagna
    • 1
  1. 1.Institute of MathematicsSiena UniversityItaly

Personalised recommendations