Dedekind cuts and long strings of zeros in base expansions
From MaRDI portal
Publication:2117788
DOI10.1007/978-3-030-80049-9_23OpenAlexW3183570752MaRDI QIDQ2117788
Publication date: 22 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-80049-9_23
computable analysisDedekind cutssubrecursive classesbase expansionsirrational number representations
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Streamlined subrecursive degree theory
- Real numbers, continued fractions and complexity classes
- On the continued fraction representation of computable real numbers
- Formula2-computable real numbers
- Continued fractions of primitive recursive real numbers
- On computable sequences
- On the definitions of some complexity classes of real numbers
- On subrecursive representability of irrational numbers
- On subrecursive representability of irrational numbers, part II
- On primitive recursive real numbers
- Recursive real numbers
- Nicht konstruktiv beweisbare Sätze der Analysis