Pages that link to "Item:Q3971436"
From MaRDI portal
The following pages link to The elementary theory of Lindenbaum fixed point algebras is hyperarithmetical (Q3971436):
Displaying 5 items.
- The Lindenbaum fixed point algebra is undecidable (Q810010) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS (Q3677760) (← links)
- Undecidability of the elementary theory of the semilattice of GLP-words (Q4650150) (← links)
- Remarks on Uniformly Finitely Precomplete Positive Equivalences (Q4868242) (← links)