Pages that link to "Item:Q540407"
From MaRDI portal
The following pages link to Infinite time decidable equivalence relation theory (Q540407):
Displaying 6 items.
- Reducibilities among equivalence relations induced by recursively enumerable structures (Q896924) (← links)
- The recognizability strength of infinite time Turing machines with ordinal parameters (Q2011653) (← links)
- Descriptive set theory, from Cantor to Wadge and beyond (Q2148861) (← links)
- On computably enumerable structures (Q2263114) (← links)
- Graphs realised by r.e. equivalence relations (Q2349100) (← links)
- The classification of countable models of set theory (Q5119907) (← links)
