Pages that link to "Item:Q4825476"
From MaRDI portal
The following pages link to Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations (Q4825476):
Displaying 9 items.
- The exact complexity of the infinite Post Correspondence Problem (Q2345861) (← links)
- Incompleteness Theorems, Large Cardinals, and Automata over Finite Words (Q2988824) (← links)
- (Q3325714) (← links)
- On the continuity set of an Omega rational function (Q3514642) (← links)
- Highly Undecidable Problems For Infinite Computations (Q3625697) (← links)
- A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories (Q3677758) (← links)
- ON RECOGNIZABLE LANGUAGES OF INFINITE PICTURES (Q4652792) (← links)
- Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words (Q5384126) (← links)
- Automata, Borel functions and real numbers in Pisot base (Q5444100) (← links)