Constructively accessible ordinal numbers (Q5593824)
From MaRDI portal
scientific article; zbMATH DE number 3313437
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructively accessible ordinal numbers |
scientific article; zbMATH DE number 3313437 |
Statements
Constructively accessible ordinal numbers (English)
0 references
1968
0 references
recursion theory, constructive mathematics
0 references
