An introduction to <i>γ</i>-recursion theory (or what to do in KP – Foundation) (Q3481690): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Aspects of constructibility / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Post's problem without admissibility / rank | |||
Normal rank | |||
Latest revision as of 08:34, 21 June 2024
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
