This research was supported in part by NSF Grant GP-2880, ARPA grant SD-146, and 2) We use L L C" to denote proper inclusion, and ''2" for improper inclusion. DSR 79457 under Project MAC. I) The operation of substitution consists of composition of functions and explicit transformation. \*) We use '
β¦ LIBER β¦
A classification of the ordinal recursive functions
β Scribed by Wainer, S. S.
- Publisher
- Springer-Verlag
- Year
- 1970
- Weight
- 703 KB
- Volume
- 13
- Category
- Article
- ISSN
- 0003-9268
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A Classification of the Recursive Functi
β
Albert R. Meyer; Dennis M. Ritchie
π
Article
π
1972
π
John Wiley and Sons
π
English
β 744 KB
A classification of the one-argument pri
β
NaumoviΔ, Jovan
π
Article
π
1983
π
Springer-Verlag
β 629 KB
Ο±-inaccessible ordinals, collapsing func
β
JΓ€ger, Gerhard
π
Article
π
1984
π
Springer-Verlag
β 581 KB
Analysis of Profiles Based on Ordinal Cl
β
Dr. R. Haux
π
Article
π
1985
π
John Wiley and Sons
π
English
β 727 KB
In this article a test for the comparison of R groups of independent profiles is suggested. It is based on rank tests, in which the criterion is obtained by using a suitably chosen ordinal classification function. This function represents a specific view on the profiles. The test, which is easy to u
Extension of partial recursive functions
β
V. A. Dushskii
π
Article
π
1969
π
SP MAIK Nauka/Interperiodica
π
English
β 303 KB
Classification of spaces of continuous f
β
T. E. Khmyleva
π
Article
π
1980
π
SP MAIK Nauka/Interperiodica
π
English
β 453 KB