Primitive recursive real numbers
From MaRDI portal
Recommendations
- Primitive recursiveness of real numbers under different representations
- Continued fractions of primitive recursive real numbers
- scientific article; zbMATH DE number 52595
- scientific article; zbMATH DE number 1746045
- On Primitive Recursive Realizabilities
- scientific article; zbMATH DE number 1850721
- The realm of primitive recursion
- Arithmetical realizability and primitive recursive realizability
- Non-recursiveness of the operations on real numbers
- A recursion theoretic foundation of computation over real numbers
Cited in
(15)- Continued fractions of primitive recursive real numbers
- Subcomputable Schnorr randomness
- Weak computability and representation of reals
- scientific article; zbMATH DE number 3863192 (Why is no real title available?)
- scientific article; zbMATH DE number 4029556 (Why is no real title available?)
- scientific article; zbMATH DE number 1746045 (Why is no real title available?)
- On subrecursive representability of irrational numbers
- Fifty years of the spectrum problem: survey and new results
- Primitive recursiveness of real numbers under different representations
- Mathematical Foundations of Computer Science 2003
- Primitive recursive ordered fields and some applications
- Ordered fields and Grzegorczyk's hierarchy
- The arithmetic hierarchy of real functions
- Primitive recursive ordered fields and some applications
- Non-recursiveness of the operations on real numbers
This page was built for publication: Primitive recursive real numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307606)
