The approximation structure of a computably approximable real
From MaRDI portal
Publication:4650263
DOI10.2178/JSL/1058448447zbMATH Open1056.03040OpenAlexW2004706162MaRDI QIDQ4650263FDOQ4650263
Authors: George Barmpalias 
Publication date: 9 February 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448447
Recommendations
- On approximate and algebraic computability over the real numbers
- Classification of computably approximable real numbers
- A new approach to computability over the reals
- scientific article; zbMATH DE number 1183247
- Effective simultaneous approximability of reals.
- Logical Approaches to Computational Barriers
- scientific article; zbMATH DE number 1191234
- Presentations of computably enumerable reals.
- scientific article; zbMATH DE number 1850721
- Relatively computably enumerable reals
Other degrees and reducibilities in computability and recursion theory (03D30) Constructive and recursive analysis (03F60)
Cites Work
- Classical recursion theory. The theory of functions and sets of natural numbers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computational complexity, speedable and levelable sets
- Title not available (Why is that?)
- Relatively recursive reals and real functions
- Title not available (Why is that?)
Cited In (8)
- Effective simultaneous approximability of reals.
- Title not available (Why is that?)
- Approximation representations for reals and their wtt‐degrees
- Classification of the computable approximations by divergence boundings
- Classification of computably approximable real numbers
- Hypersimplicity and semicomputability in the weak truth table degrees
- Approximation representations for \(\Delta_2\) reals
- Approximating the existential theory of the reals
This page was built for publication: The approximation structure of a computably approximable real
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650263)
