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
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