On the relationship between <i>ATR</i><sub>0</sub> and (Q5687314)
From MaRDI portal
scientific article; zbMATH DE number 957317
Language | Label | Description | Also known as |
---|---|---|---|
English | On the relationship between <i>ATR</i><sub>0</sub> and |
scientific article; zbMATH DE number 957317 |
Statements
On the relationship between <i>ATR</i><sub>0</sub> and (English)
0 references
12 December 1996
0 references
proof-theoretic ordinals
0 references
least impredicative ordinal
0 references