Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic

DOI10.1007/BF00713544zbMath0463.03015OpenAlexW2015191731MaRDI QIDQ1153077

Franco Montagna

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00713544

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Chain conditions, complete algebras (06E10) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)

Related Items

Franco Montagna's work on provability logic and many-valued logic, Obituary: Franco Montagna (1948--2015), The undecidability of the first-order theory of diagonalizable algebras, Undecidability in diagonalizable algebras, Decision problems for classes of diagonalizable algebras

Cites Work

• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• On the autological character of diagonalizable algebras
• Arithmetization of metamathematics in a general setting
• Unnamed Item