Overspill and fragments of arithmetic (Q1123191)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Overspill and fragments of arithmetic
scientific article

    Statements

    Overspill and fragments of arithmetic (English)
    0 references
    0 references
    1989
    0 references
    The relations between overspill and the usual induction and collection schemata in arithmetic are considered. The author distinguishes strong \(\Gamma\)-overspill, \(\Gamma\)-overspill and weak \(\Gamma\)-overspill, where \(\Gamma\) is one of the following classes of formulas: \(\Sigma_ n\), \(\Pi_ n\), \(\Delta_ n\), \(E_ n\), \(U_ n\), and shows various relations between them.
    0 references
    overspill
    0 references
    induction
    0 references
    collection
    0 references

    Identifiers