The unprovability of small inconsistency
Author:
- 1 July 1993
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 32 (4) , 275-298
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Interpretability Logic1990
- On the scheme of induction for bounded arithmetic formulasAnnals of Pure and Applied Logic, 1987
- Cuts, consistency statements and interpretationsThe Journal of Symbolic Logic, 1985
- Self-Reference and Modal Logic1985
- Some prime elements in the lattice of interpretability typesTransactions of the American Mathematical Society, 1983
- A technique for writing short formulas defining complicated properties1979
- Existence and feasibility in arithmeticThe Journal of Symbolic Logic, 1971