Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
scientific article

    Statements

    Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (English)
    0 references
    0 references
    4 February 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    ordinal analysis
    0 references
    inductive definition
    0 references
    \(\Pi_1^1\)-comprehension
    0 references
    Kripke-Platek set theory
    0 references
    0 references