Σ_{𝑛}-bounding and Δ_{𝑛}-induction (Q4813658)

From MaRDI portal
scientific article; zbMATH DE number 2091053
Language Label Description Also known as
English
Σ_{𝑛}-bounding and Δ_{𝑛}-induction
scientific article; zbMATH DE number 2091053

    Statements

    Σ_{𝑛}-bounding and Δ_{𝑛}-induction (English)
    0 references
    0 references
    13 August 2004
    0 references
    0 references
    induction
    0 references
    collection
    0 references
    least number principle
    0 references
    fragments of arithmetic
    0 references
    0 references
    0 references
    0 references