Pages that link to "Item:Q4647112"
From MaRDI portal
The following pages link to PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112):
Displaying 5 items.
- Finite degree clones are undecidable (Q2333801) (← links)
- Bounded generation does not imply finite presentation (Q4342929) (← links)
- Finitary PCF is not decidable (Q5958762) (← links)
- The complexity of quasivariety lattices. II (Q6587394) (← links)
- Profinite locally finite quasivarieties (Q6597129) (← links)