The undecidability of the first-order theory of diagonalizable algebras

DOI10.1007/BF00713545zbMath0463.03016OpenAlexW2071895205MaRDI QIDQ1153078

Franco Montagna

Publication date: 1980

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

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Chain conditions, complete algebras (06E10) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)

Related Items (6)

Franco Montagna's work on provability logic and many-valued logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Linear $ \mathrm{GLP}$-algebras and their elementary theories ⋮ Undecidability in diagonalizable algebras ⋮ Fixed point algebras ⋮ The finite inseparability of the first-order theory of diagonalisable algebras

Cites Work

• Unnamed Item
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Undecidability of Some Topological Theories

This page was built for publication: The undecidability of the first-order theory of diagonalizable algebras