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