The provability of certain sequents in additive arithmetic (Q1925188)
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: The provability of certain sequents in additive arithmetic |
scientific article; zbMATH DE number 939545
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The provability of certain sequents in additive arithmetic |
scientific article; zbMATH DE number 939545 |
Statements
The provability of certain sequents in additive arithmetic (English)
0 references
29 October 1996
0 references
This work is a first step toward determining that double induction is provable in the free variable additive arithmetic. The completion of the proof is promised for a second paper still due to appear.
0 references
proof theory
0 references
first-order arithmetic
0 references
double induction
0 references
free variable additive arithmetic
0 references
0.8318318128585815
0 references
0.8201704621315002
0 references
0.7316591739654541
0 references
