Equality is a jump
From MaRDI portal
Publication:1292397
DOI10.1016/S0304-3975(98)00283-7zbMath0916.68050MaRDI QIDQ1292397
Publication date: 21 June 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Real recursive functions and their hierarchy, Effectively open real functions, The Turing closure of an Archimedean field, On Σ‐definability without equality over the real numbers
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reducibilities on real numbers
- Type 2 recursion theory
- Theory of representations
- \(\delta\)-uniform BSS machines
- Classical recursion theory. Vol. II
- The Turing closure of an Archimedean field
- On degrees of unsolvability
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- Recursion Theory and Dedekind Cuts