Pages that link to "Item:Q4262575"
From MaRDI portal
The following pages link to A decidable variety that is finitely undecidable (Q4262575):
Displaying 5 items.
- A codicity undecidable problem in the plane. (Q1401375) (← links)
- A property of the solvable radical in finitely decidable varieties (Q2773238) (← links)
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES (Q4024646) (← links)
- Decidable Discriminator Varieties from Unary Classes (Q4038454) (← links)
- Finitary PCF is not decidable (Q5958762) (← links)