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 (5)

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

• Unnamed Item
• 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

This page was built for publication: Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic