On subrecursive representation of irrational numbers: contractors and Baire sequences

DOI10.1007/978-3-030-80049-9_28MaRDI QIDQ2117793zbMATH OpenOpenAlexFDO

Authors Lars Kristiansen

Publication date 22 March 2022

Full work available at URL http://hdl.handle.net/10852/86560

zbMATH Keywords

Baire sequencescomputable analysiscomputational complexitycontraction mapsrepresentation of irrationalssubrecursion

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Computable irrational numbers with representations of surprising complexity
• Continued Fractions without Tears
• scientific article; zbMATH DE number 2174396 (Why is no real title available?)
• On primitive recursive real numbers
• On subrecursive representability of irrational numbers
• On subrecursive representability of irrational numbers, part II
• On the complexity of conversion between classic real number representations
• Strongly uniform bounds from semi-constructive proofs

Cited in

(6)

• On subrecursive representability of irrational numbers, part II
• Subrecursive incomparability of the graphs of standard and dual Baire sequences
• Subrecursive graphs of representations of irrational numbers
• On representations of irrational numbers and the computational complexity of converting between such representations
• On S-degrees of some representations of irrational numbers
• A degree structure on representations of irrational numbers

This page was built for publication: On subrecursive representation of irrational numbers: contractors and Baire sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117793)