The following pages link to On 0′-computable reals (Q4916179):
Displaying 9 items.
- A c.e. real that cannot be sw-computed by any \(\Omega\) number (Q867401) (← links)
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals (Q1185456) (← links)
- A new approach to computability over the reals (Q1284389) (← links)
- On logarithmic-space computable real numbers (Q1935807) (← links)
- Computing in Cantor’s Paradise with λ ZFC (Q2900271) (← links)
- A Note on the Differences of Computably Enumerable Reals (Q2970983) (← links)
- (Q4452110) (← links)
- On 0′-computable reals (Q4916179) (← links)
- New Computational Paradigms (Q5717069) (← links)
