EUDML | A nonstandard approach to arithmetic.

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “A nonstandard approach to arithmetic.”

Quantification of number-theoretic functions

S. C. Kleene (1959-1960)

Compositio Mathematica

Similarity:

Extension pathology in regressive isols

Matthew J. Hassett (1973)

Compositio Mathematica

Similarity:

Notation systems and recursive ordered fields

Yiannis N. Moschovakis (1965-1966)

Compositio Mathematica

Similarity:

Recursiveness of initial segments of Kleene's O

Carl Jockusch (1975)

Fundamenta Mathematicae

Similarity:

Arithmetical classification of the set of all provably recursive functions

Vítězslav Švejdar (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The set of all indices of all functions provably recursive in any reasonable theory $T$ is shown to be recursively isomorphic to $U \times \bar{U}$ , where $U$ is $Π_{2}$ -complete set.

Recursive families of sets

S. Mrówka (1957)

Fundamenta Mathematicae

Similarity:

Recursive metric spaces

Y. Moschovakis (1964)

Fundamenta Mathematicae

Similarity: