First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (Q2758045)

From MaRDI portal
scientific article
Language Label Description Also known as
English
First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo
scientific article

    Statements

    First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (English)
    0 references
    0 references
    0 references
    14 July 2002
    0 references
    0 references
    proof theory
    0 references
    ordinal analysis
    0 references
    nonmonotone inductive definitions
    0 references
    recursively inaccessible and Mahlo ordinals
    0 references
    0 references