An introduction to <i>γ</i>-recursion theory (or what to do in KP – Foundation) (Q3481690)
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 4152361
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An introduction to <i>γ</i>-recursion theory (or what to do in KP – Foundation) |
scientific article; zbMATH DE number 4152361 |
Statements
An introduction to <i>γ</i>-recursion theory (or what to do in KP – Foundation) (English)
0 references
1990
0 references
Reverse mathematics
0 references
Reverse recursion theory
0 references
alpha-recursion theory
0 references
replacement
0 references
admissibility
0 references
r.e. degree
0 references
gamma-recursion theory
0 references
recursion theory on admissible ordinals without class foundation
0 references
0.7882751226425171
0 references
0.7372056245803833
0 references
0.7204211354255676
0 references
