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

DOI10.1007/BF00713544zbMATH Open0463.03015OpenAlexW2015191731MaRDI QIDQ1153077FDOQ1153077

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

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

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)