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

DOI10.1007/BF00713544MaRDI QIDQ1153077zbMATH OpenOpenAlexFDO

Authors 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) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10) Chain conditions, complete algebras (06E10)

Cites work

• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Arithmetization of metamathematics in a general setting
• On the autological character of diagonalizable algebras
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

Cited in

(5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1153077)