Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation | The Bulletin of Symbolic Logic |
| 8 | 2005 |
Preuves et jeux sémantiques | Philosophia Scientae |
| 3 | 2004 |
Deflationism and the Godel Phenomena | Mind |
| 32 | 2002 |
A semantics of evidence for classical arithmetic | The Journal of Symbolic Logic |
| 34 | 1995 |
On Godel Sentences and What They Say | Philosophia Mathematica |
| 11 | 2007 |