The following pages link to Primitive recursive real numbers (Q5307606):
Displaying 11 items.
- Primitive recursive ordered fields and some applications (Q831997) (← links)
- Non-recursiveness of the operations on real numbers (Q909437) (← links)
- Continued fractions of primitive recursive real numbers (Q2947235) (← links)
- (Q2985124) (← links)
- Weak computability and representation of reals (Q3159428) (← links)
- (Q3331216) (← links)
- (Q3770531) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- Primitive Recursiveness of Real Numbers under Different Representations (Q4921448) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431356) (← links)
- Primitive recursive ordered fields and some applications (Q5880940) (← links)