Overspill and fragments of arithmetic (Q1123191)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Overspill and fragments of arithmetic |
scientific article; zbMATH DE number 4108761
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Overspill and fragments of arithmetic |
scientific article; zbMATH DE number 4108761 |
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
