Equality is a jump

DOI10.1016/S0304-3975(98)00283-7zbMath0916.68050OpenAlexW2029807875MaRDI QIDQ1292397

Paolo Boldi, Sebastiano Vigna

Publication date: 21 June 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)00283-7

zbMATH Keywords

degree of unsolvability

Mathematics Subject Classification ID

Related Items (5)

Effectively open real functions ⋮ A topological view on algebraic computation models ⋮ On Σ‐definability without equality over the real numbers ⋮ Real recursive functions and their hierarchy ⋮ The Turing closure of an Archimedean field

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

This page was built for publication: Equality is a jump