Article contents
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Published online by Cambridge University Press: 12 March 2014
Abstract
Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic [3] we show that there exists a number n such that ⋃mSm (the union of the bounded arithmetic theories Sm) does not prove the Herbrand consistency of the finitely axiomatizable theory S3n
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2006
References
REFERENCES
- 5
- Cited by