Pages that link to "Item:Q3677760"
From MaRDI portal
The following pages link to A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS (Q3677760):
Displaying 8 items.
- Finite fixed point algebras are subdiagonalisable (Q581435) (← links)
- The Lindenbaum fixed point algebra is undecidable (Q810010) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- A shorter proof of a recent result by R. Di Paola (Q2266712) (← links)
- Equivalence relations induced by extensional formulae: classification by means of a new fixed point property (Q3677759) (← links)
- The elementary theory of Lindenbaum fixed point algebras is hyperarithmetical (Q3971436) (← links)