Notation systems and recursive ordered fields
Yiannis N. Moschovakis (1965-1966)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Reducibilities of sets based on constructive functions of a real variable”
Notation systems and recursive ordered fields
Quantification of number-theoretic functions
S. C. Kleene (1959-1960)
Compositio Mathematica
Similarity:
Recursiveness of initial segments of Kleene's O
Carl Jockusch (1975)
Fundamenta Mathematicae
Similarity:
Recursive metric spaces
Y. Moschovakis (1964)
Fundamenta Mathematicae
Similarity:
Recursive families of sets
S. Mrówka (1957)
Fundamenta Mathematicae
Similarity:
Extension pathology in regressive isols
Matthew J. Hassett (1973)
Compositio Mathematica
Similarity:
On generalizations of a theorem on recursive sets
Jiří Hořejš (1965)
Archivum Mathematicum
Similarity: