On the structure of models of bounded $E\sb 1$-induction (Q3682483)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the structure of models of bounded $E\sb 1$-induction |
scientific article |
Statements
1984
0 references
fragments of arithmetic
0 references
models of arithmetic
0 references
proof theory
0 references
induction
0 references
On the structure of models of bounded $E\sb 1$-induction (English)
0 references
