Ordinals connected with formal theories for transfinitely iterated inductive definitions (Q4175275): Difference between revisions

From MaRDI portal
Created claim: MaRDI profile type (P1460): MaRDI publication profile (Q5976449), #quickstatements; #temporary_batch_1710327701624
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2272816 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2039639438 / rank
 
Normal rank

Revision as of 22:22, 19 March 2024

scientific article; zbMATH DE number 3611352
Language Label Description Also known as
English
Ordinals connected with formal theories for transfinitely iterated inductive definitions
scientific article; zbMATH DE number 3611352

    Statements

    Ordinals connected with formal theories for transfinitely iterated inductive definitions (English)
    0 references
    0 references
    1978
    0 references
    Formal Theories for Transfinitely Iterated Inductive Definitions
    0 references
    Ordinals
    0 references
    Proof Theory
    0 references

    Identifiers