Σ_{𝑛}-bounding and Δ_{𝑛}-induction (Q4813658)
From MaRDI portal
scientific article; zbMATH DE number 2091053
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Σ_{𝑛}-bounding and Δ_{𝑛}-induction |
scientific article; zbMATH DE number 2091053 |
Statements
Σ_{𝑛}-bounding and Δ_{𝑛}-induction (English)
0 references
13 August 2004
0 references
induction
0 references
collection
0 references
least number principle
0 references
fragments of arithmetic
0 references
