Overspill and fragments of arithmetic
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.
scientific article; zbMATH DE number 4108761