Faith & falsity

Annals of Pure and Applied Logic

Volumn 131, Issue 1-3, 2005, Pages 103-131

  Visser, Albert ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

soundness; Faithful interpretations; Rosser arguments; Sequential theories

Indexed keywords

EID: 7244224941     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2004.04.008     Document Type: Article

References (23)

1. Buss S. Bounded Arithmetic 1986 Bibliopolis Napoli
2. Gerhardy Ph. Refined complexity analysis of cut elimination in: Baaz M. Makovsky J. (Eds.) Proceedings of the 17th International Workshop CSL LNCS vol. 2803 2003 Springer-Verlag Berlin
3. Guaspari D. Solovay R.M. Rosser sentences Annals of Mathematical Logic 16 1979 81-99
4. Hájek P. Pudlák P. Metamathematics of first-order arithmetic Perspectives in Mathematical Logic 1991 Springer Berlin
5. Hanf W. Model-theoretic methods in the study of elementary logic in: Addison J.W. Henkin L. Tarski A. (Eds.) The Theory of Models, Proceedings of the 1963 International Symposium Berkeley 1965 North Holland Amsterdam
6. Krajíček J. A note on proofs of falsehood Archiv für Mathematische Logik und Grundlagenforschung 26 1987 169-176
7. Lindström P. Aspects of Incompleteness Lecture Notes in Logic vol. 10 1997 Springer Berlin
8. MacLane S. Categories for the Working Mathematician Graduate Texts in Mathematics number 5 1971 Springer New York
9. Montagna F. Mancini A. A minimal predicative set theory Notre Dame Journal of Formal Logic 35 1994 186-203
10. Pudlák P. Cuts, consistency statements and interpretations Journal of Symbolic Logic 50 1985 423-441
11. Smoryński C. Fifty years of self-reference Notre Dame Journal of Formal Logic 22 1981 357-374
12. Smoryński C. Nonstandard models and related developments in: Harrington L.A. Morley M.D. Šědrov A. Simpson S.G. (Eds.) Harvey Friedman's Research on the Foundations of Mathematics 1985 North Holland Amsterdam
13. Smoryński C. Self-Reference and Modal Logic Universitext 1985 Springer New York
14. Švejdar V. Modal analysis of generalized Rosser sentences Journal of Symbolic Logic 48 1983 986-999
15. Tarski A. Mostowski A. Robinson R.M. Undecidable Theories 1953 North-Holland Amsterdam
16. Verbrugge L.C. Visser A. A small reflection principle for bounded arithmetic Journal of Symbolic Logic 59 1994 785-812
17. Visser A. The formalization of interpretability Studia Logica 51 1991 81-105
18. Visser A. An inside view of exp Journal of Symbolic Logic 57 1992 131-165
19. Visser A. The unprovability of small inconsistency Archive for Mathematical Logic 32 1993 275-298
20. Visser A. An overview of interpretability logic in: Kracht M. de Rijke M. Wansing H. Zakharyaschev M. (Eds.) Advances in Modal Logic CSLI Lecture Notes 87 vol. 1 1998 Center for the Study of Language and Information Stanford
21. Visser A. Rules and arithmetics Notre Dame Journal of Formal Logic 40 1 1999 116-140
22. Wilkie A. Paris J.B. On the scheme of induction for bounded arithmetic formulas Annals of Pure and Applied Logic 35 1987 261-302
23. R.E. Yavorsky Logical Schemes for First Order Theories Springer LNCS (Yaroslav'97 volume) vol. 1234 Springer New York 1997