Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics (Q3083669)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics |
scientific article |
Statements
Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics (English)
0 references
22 March 2011
0 references
Herbrand consistency
0 references
unprovability
0 references
weak arithmetics
0 references
