About the proof-theoretic ordinals of weak fixed point theories (Q4032884)

From MaRDI portal
Revision as of 21:10, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
About the proof-theoretic ordinals of weak fixed point theories
scientific article

    Statements

    About the proof-theoretic ordinals of weak fixed point theories (English)
    0 references
    0 references
    0 references
    1 April 1993
    0 references
    second-order arithmetic
    0 references
    arithmetic comprehension axiom
    0 references
    induction axiom
    0 references
    fixed-point axioms
    0 references
    ramified analysis
    0 references
    cut-elimination
    0 references
    proof-theoretic ordinals
    0 references

    Identifiers