On Overspill Principles and Axiom Schemes for Bounded Formulas (Q4888345)
From MaRDI portal
scientific article; zbMATH DE number 910453
Language | Label | Description | Also known as |
---|---|---|---|
English | On Overspill Principles and Axiom Schemes for Bounded Formulas |
scientific article; zbMATH DE number 910453 |
Statements
On Overspill Principles and Axiom Schemes for Bounded Formulas (English)
0 references
24 February 1997
0 references
Peano Arithmetic
0 references
bounded arithmetic
0 references
induction axioms
0 references
overspill principle
0 references
strength of axiom schemes for fragments of arithmetic
0 references