On primitive recursive real numbers
From MaRDI portal
Publication:5596797
DOI10.4064/fm-49-2-105-118zbMath0199.03301OpenAlexW293447284MaRDI QIDQ5596797
Publication date: 1961
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213580
Related Items (9)
Semi-effective numberings and definitions of the computable numbers ⋮ Continued fractions of primitive recursive real numbers ⋮ Subrecursive graphs of representations of irrational numbers ⋮ Unnamed Item ⋮ Computable irrational numbers with representations of surprising complexity ⋮ Primitive Recursiveness of Real Numbers under Different Representations ⋮ On the complexity of conversion between classic real number representations ⋮ Dedekind cuts and long strings of zeros in base expansions ⋮ On subrecursive representation of irrational numbers: contractors and Baire sequences
This page was built for publication: On primitive recursive real numbers