scientific article; zbMATH DE number 9068

MaRDI QIDQ3971436zbMATH OpenFDO

Authors Franco Montagna

Publication date 25 June 1992

zbMATH Keywords

first-order theoryinterpretabilityLindenbaum fixed point algebrasPeano Arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• The Lindenbaum fixed point algebra is undecidable
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• Undecidability of the elementary theory of the semilattice of GLP-words
• scientific article; zbMATH DE number 3914320
• THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS

Cited in

(8)

• Obituary: Franco Montagna (1948--2015)
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• scientific article; zbMATH DE number 3914320 (Why is no real title available?)
• scientific article; zbMATH DE number 65750 (Why is no real title available?)
• scientific article; zbMATH DE number 1531932 (Why is no real title available?)
• Undecidability of the elementary theory of the semilattice of GLP-words
• Remarks on Uniformly Finitely Precomplete Positive Equivalences
• The Lindenbaum fixed point algebra is undecidable

This page was built for publication:

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