Pages that link to "Item:Q1567411"
From MaRDI portal
The following pages link to Undecidability results for low complexity time classes (Q1567411):
Displaying 6 items.
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- On a relation between uniform coding and problems of the form DTIMEF\((\mathcal F)=?\)DSPACEF\((\mathcal F)\) (Q1284694) (← links)
- On \(\Pi_ 2\) theories of \(hp-T\) degrees of low sets (Q1314385) (← links)
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- Undecidability over Continuous Time (Q3424115) (← links)
- Effectively dense Boolean algebras and their applications (Q4505908) (← links)