Searching for "Primitive recursive real numbers." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
unknown title
- … such that forevery primitive recursive real number a, we have: if a <= r then GMa is I\Sigma 1-provable but if a…
- Add To MetaCart
-
An application of graphical enumeration to PA
- … is Otter’s tree constant. Let r be a primitive recursive real number and let fr be defined by fr(K, i) := K…
- Cited by 8 (2 self) – Add To MetaCart
Showing 1 through 2.
