Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894)

From MaRDI portal
Revision as of 04:44, 8 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 867883
Language Label Description Also known as
English
Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems
scientific article; zbMATH DE number 867883

    Statements

    Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (English)
    0 references
    0 references
    9 February 1997
    0 references
    ordinal analysis
    0 references
    proof theory
    0 references
    subsystems of analysis
    0 references
    \(\Pi^ 1_ 1\)-comprehension
    0 references
    iterated \(\Pi^ 1_ 2\)-comprehension
    0 references
    ordinal notations
    0 references
    KPi
    0 references
    operator controlled derivations
    0 references
    admissible sets
    0 references

    Identifiers