No label defined (Q4934284)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1390019
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1390019 |
Statements
5 November 2000
0 references
\(\alpha\)-recursion theory
0 references
\(\beta\)-recursion theory
0 references
admissibility spectrum
0 references
survey
0 references
0.8318909406661987
0 references
0.8214783072471619
0 references
0.7900363802909851
0 references
0.7811154723167419
0 references
Over the last 35 years, classical recursion theory has been generalized to the setting of ordinals, both \(\Sigma_1\)-admissible and otherwise (\(\alpha\)- and \(\beta\)-recursion theory). The authors survey the work done in this area, along with the blend of recursion-theoretic and set-theoretic techniques used. For the entire collection see [Zbl 0923.03001].
0 references
