An independence result on weak second order bounded arithmetic (Q2720322)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An independence result on weak second order bounded arithmetic |
scientific article; zbMATH DE number 1610969
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An independence result on weak second order bounded arithmetic |
scientific article; zbMATH DE number 1610969 |
Statements
13 May 2002
0 references
length initial submodels
0 references
weak second order arithmetic
0 references
length induction
0 references
function division
0 references
0.9146471
0 references
0.9044574
0 references
0.8900561
0 references
0.8845666
0 references
0.8829853
0 references
0.8827473
0 references
0.8823147
0 references
0.88097167
0 references
An independence result on weak second order bounded arithmetic (English)
0 references
It is shown in the paper under review that length initial submodels of the theory \(S^{1}_{2}\) can be extended to a model of weak second order arithmetic. As a corollary it is shown that the theory of length induction for polynomially bounded second order existential formulas cannot define the function division.
0 references
