Pages that link to "Item:Q5501763"
From MaRDI portal
The following pages link to THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763):
Displaying 6 items.
- An undecidable property of recurrent double sequences (Q929632) (← links)
- Finite degree clones are undecidable (Q2333801) (← links)
- The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples (Q2634704) (← links)
- Recursive inseparability for residual bounds of finite algebras (Q2710615) (← links)
- Algorithmic recognizability of the finiteness property of finite-definite systems (Q2885204) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)