Theories very close to <i>PA</i> where Kreisel's Conjecture is false (Q3426567)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theories very close to <i>PA</i> where Kreisel's Conjecture is false |
scientific article |
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
