Pages that link to "Item:Q3117545"
From MaRDI portal
The following pages link to Some problems in automata theory which depend on the models of set theory (Q3117545):
Displaying 8 items.
- Descriptive set theoretic methods in automata theory. Decidability and topological complexity (Q737116) (← links)
- Infinity problems and countability problems for \(\omega \)-automata (Q845856) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- The determinacy of context-free games (Q2904793) (← links)
- Incompleteness Theorems, Large Cardinals, and Automata over Finite Words (Q2988824) (← links)
- Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words (Q3449478) (← links)
- Highly Undecidable Problems For Infinite Computations (Q3625697) (← links)
- Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words (Q5384126) (← links)