The Lindenbaum fixed point algebra is undecidable

DOI10.1007/BF00370392zbMath0733.03032OpenAlexW2004688462MaRDI QIDQ810010

V. Yu. Shavrukov

Publication date: 1991

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

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

zbMATH Keywords

fixed point algebrasLindenbaum algebra

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30) Logical aspects of Boolean algebras (03G05)

Cites Work

• The finite inseparability of the first-order theory of diagonalisable algebras
• Fixed point algebras
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• Unnamed Item

This page was built for publication: The Lindenbaum fixed point algebra is undecidable