A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
From MaRDI portal
Publication:3677760
DOI10.1002/malq.19840303205zbMath0564.03044MaRDI QIDQ3677760
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
Related Items
Finite fixed point algebras are subdiagonalisable, The Lindenbaum fixed point algebra is undecidable, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, Obituary: Franco Montagna (1948--2015)