An introduction to <i>γ</i>-recursion theory (or what to do in KP – Foundation) (Q3481690)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An introduction to <i>γ</i>-recursion theory (or what to do in KP – Foundation) |
scientific article |
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
