A note on Δ<sub>1</sub>induction and Σ<sub>1</sub>collection (Q5694289)
From MaRDI portal
scientific article; zbMATH DE number 2211273
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on Δ<sub>1</sub>induction and Σ<sub>1</sub>collection |
scientific article; zbMATH DE number 2211273 |
Statements
A note on Δ<sub>1</sub>induction and Σ<sub>1</sub>collection (English)
0 references
29 September 2005
0 references
fragments of arithmetic
0 references
bounded arithmetic
0 references
collection principle
0 references
