Theories very close to <i>PA</i> where Kreisel's Conjecture is false (Q3426567)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5132668
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Theories very close to <i>PA</i> where Kreisel's Conjecture is false |
scientific article; zbMATH DE number 5132668 |
Statements
Theories very close to <i>PA</i> where Kreisel's Conjecture is false (English)
0 references
12 March 2007
0 references
Peano arithmetic
0 references
length of proofs
0 references
proof complexity
0 references
0.8481419682502747
0 references
0.8368008136749268
0 references
0.8303120732307434
0 references
