A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS

DOI10.1002/malq.19840303205zbMath0564.03044OpenAlexW2138607670MaRDI QIDQ3677760

Franco Montagna

Publication date: 1984

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19840303205

zbMATH Keywords

fixed point algebrasfirst order arithmeticLindenbaum algebra

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Logical aspects of Boolean algebras (03G05)

Related Items

Obituary: Franco Montagna (1948--2015) ⋮ Finite fixed point algebras are subdiagonalisable ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ The Lindenbaum fixed point algebra is undecidable