Pages that link to "Item:Q5596797"
From MaRDI portal
The following pages link to On primitive recursive real numbers (Q5596797):
Displaying 8 items.
- On the complexity of conversion between classic real number representations (Q2106593) (← links)
- Dedekind cuts and long strings of zeros in base expansions (Q2117788) (← links)
- On subrecursive representation of irrational numbers: contractors and Baire sequences (Q2117793) (← links)
- Computable irrational numbers with representations of surprising complexity (Q2216036) (← links)
- Continued fractions of primitive recursive real numbers (Q2947235) (← links)
- Primitive Recursiveness of Real Numbers under Different Representations (Q4921448) (← links)
- Semi-effective numberings and definitions of the computable numbers (Q5569449) (← links)
- Interplay between insertion of zeros and the complexity of Dedekind cuts (Q6594830) (← links)