Pages that link to "Item:Q1734277"
From MaRDI portal
The following pages link to Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277):
Displaying 6 items.
- Undecidable fragments of elementary theories (Q1906521) (← links)
- Theories of Rogers semilattices of analytical numberings (Q2030131) (← links)
- Undecidability of elementary theories of Rogers semilattices of analytical hierarchies (Q2630488) (← links)
- (Q3734391) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- Rogers semilattices of punctual numberings (Q5048010) (← links)