NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541)
From MaRDI portal
scientific article; zbMATH DE number 7049060
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM |
scientific article; zbMATH DE number 7049060 |
Statements
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (English)
0 references
30 April 2019
0 references
Gerhard Gentzen
0 references
Paul Bernays
0 references
finitism
0 references
constructive ordinals
0 references
0 references
0 references
