Minimal Truth and Interpretability

Review of Symbolic Logic

Volumn 2, Issue 4, 2009, Pages 799-815

  Fischer, Martin ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84989169819     PISSN: 17550203     EISSN: 17550211     Source Type: Journal    
DOI: 10.1017/S1755020309990232     Document Type: Review

References (20)

1. Cantini, A. (1989). Notes on formal theories of truth. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35, 97-130.
2. Feferman, S. (1960). Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae, XLIX, 35-92.
3. Feferman, S. (1987). Reflecting on incompleteness (draft).
4. Feferman, S. (1991). Reflecting on incompleteness. The Journal of Symbolic Logic, 56, 1-47.
5. Fischer,M. (2008). Davidsons semantisches Programm und deflationäreWahrheitskonzeptionen. Heusenstamm, Germany: Ontos Verlag.
6. Hájek, P., Pudlák, P. (1993). Metamathematics of First-Order Arithmetic. Berlin: Springer Verlag.
7. Halbach, V. (1996). Axiomatische Wahrheitstheorien. Berlin: Akademie Verlag.
8. Halbach, V. (1999). Conservative theories of classical truth. Studia Logica, 62, 353-370.
9. Halbach, V. (2000). Truth and reduction. Erkenntnis, 53, 97-126.
10. Kaye, R. (1991). Models of Peano Arithmetic. Oxford, UK: Oxford University Press.
11. Kotlarski, H., Krajewski, S., Lachlan, A. (1981). Construction of satisfaction classes for non-standard models. Canadian Mathematical Bulletin, 24, 283-293.
12. Krajewski, S. (1974). Predicative expansions of axiomatic theories. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 20, 435-452.
13. Lachlan, A. (1981). Full satisfaction classes and recursive saturation. Canadian Mathematical Bulletin, 24, 295-297.
14. Lindström, P. (1997). Aspects of Incompleteness, Lecture Notes in Logic, vol. 10. Berlin: Springer Verlag.
15. Shapiro, S. (1998). Proof and truth: Through thick and thin. The Journal of Philosophy, 95, 493-521.
16. Simpson, S. G. (1999). Subsystems of Second Order Arithmetic. Heidelberg, Germany: Springer Verlag.
17. Takeuti, G. (1987). Proof Theory (second edition). Amsterdam, The Netherlands: North Holland.
18. Visser, A. (1997). An Overview of Interpretability Logic. Logic Group Preprint Series 216. http://www.phil.uu.nl/preprints/lgps
19. Visser, A. (2004). Categories of theories and interpretations. In Enayat, A., Kalantari, I., Moniri, M., editors. Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, October, 2003, pp. 284-341. Logic Group Preprint Series 216. http://www.phil.uu.nl/preprints/lgps
20. Visser, A. (2005). Faith & falsity. Annals of Pure and Applied Logic, 131, 103-131.