On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories (Q5480630)
From MaRDI portal
scientific article; zbMATH DE number 5043311
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories |
scientific article; zbMATH DE number 5043311 |
Statements
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories (English)
0 references
3 August 2006
0 references
