The Kreisel length-of-proof problem (Q1353977)
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 Kreisel length-of-proof problem |
scientific article; zbMATH DE number 1005820
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Kreisel length-of-proof problem |
scientific article; zbMATH DE number 1005820 |
Statements
The Kreisel length-of-proof problem (English)
0 references
13 May 1997
0 references
first-order system
0 references
Kreisel length-of-proof property
0 references
Parikh system
0 references
Peano arithmetic
0 references
unification
0 references
