On the completeness of some transfinite recursive progressions of axiomatic theories (Q5591513): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Number theoretic concepts and recursive well-orderings / rank | |||
Normal rank |
Latest revision as of 01:39, 12 June 2024
scientific article; zbMATH DE number 3310900
Language | Label | Description | Also known as |
---|---|---|---|
English | On the completeness of some transfinite recursive progressions of axiomatic theories |
scientific article; zbMATH DE number 3310900 |
Statements
On the completeness of some transfinite recursive progressions of axiomatic theories (English)
0 references
1968
0 references
recursion theory, constructive mathematics
0 references