Subrecursive graphs of representations of irrational numbers

DOI10.1007/978-3-031-36978-0_13MaRDI QIDQ6149040zbMATH OpenOpenAlexFDO

Authors

Publication date 12 January 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-36978-0_13

zbMATH Keywords

Computable analysisirrational number representationssubrecursive classes

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• On subrecursive representability of irrational numbers
• On subrecursive representability of irrational numbers, part II
• Subrecursive incomparability of the graphs of standard and dual Baire sequences
• On the complexity of conversion between classic real number representations
• scientific article; zbMATH DE number 4135939

Cites work

• Computable irrational numbers with representations of surprising complexity
• scientific article; zbMATH DE number 51347 (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 subrecursive representation of irrational numbers: contractors and Baire sequences
• On the complexity of conversion between classic real number representations

Cited in

(4)

• Subrecursive incomparability of the graphs of standard and dual Baire sequences
• 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: Subrecursive graphs of representations of irrational numbers

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