A note of provability, truth and existence

1. Barwise, J., ed. Handbook of Mathematical Logic, Amsterdam (1977).

2. Feferman, S., Infinity in Mathematics: Is Cantor Necessary? in Tolrado di Francia, G, editor: Infinity in Science, Instituto Della Enciclopedia Italiana, Rome (1987), pp. 151–210.

   Google Scholar 

3. Friedman H., Necessary uses of Abstract Set-theory in Finite Mathematics, in Advances in Mathematics LX (1986), pp. 92–122.

4. Gödel, K., (1931) Über formal unentscheidbare Sätze der Principia mathematica und verwandter System I, in Monatsh. Math. Phys. XXXVIII (1931), pp. 173–198 (reproduced with English translation in the Collected Works of K. Gödel, Vol. 1, Feferman et al., eds. New York (1986).

5. Paris, J., and Harrington, L., A Mathematical Incompleteness in Peano Arithmetics, in [1], pp. 1133–1142 (1977).

6. Simpson, S. G., Nonprovability of Certain Combinatorial Properties of Finite Trees, in Harvey Friedman's Research in the Foundations of Mathematics, Harrington et al., eds. Amsterdam (1985).

7. Smorynski, C., The Incompleteness Theorems, in [1], pp. 821–865 (1977).

8. Tarski, A., Mostowski, A. and Robinson, R. M., Undecidable Theories, Amsterdam (1953).

Download references