Bibliography
Boolos, G.: 1978, The Unprovability of Consistency: An Essay in Modal Logic (Cambridge University Press, Cambridge).
Boolos, G. and R. Jeffrey: 1974, Computability and Logic (Cambridge University Press, Cambridge).
Detlefson, M.: 1979, ‘On interpreting Gödel's Second Incompleteness Theorem’, Journal of Philosophical Logic 8, pp. 297–315.
Feferman, S.: 1960, “Arithmetization of Metamathematics in a General Setting”, Fundamenta Mathematicae XLIX, pp. 35–92.
Feferman, S.: 1962, “Transfinite Recursive Progressions of Axiomatic Theories”, JSL XXVII, pp. 259–316.
Hilbert, D. and Bernays, P.: 1939, Die Grundlagen der Mathematik, 2nd ed. (Springer-Verlag, Berlin).
Jerolsow, R.: 1971, ‘On Gödel's consistency theorem’, unpublished manuscript.
Jeroslow, R.: 1973, ‘Redundancies in the Hilbert-Bernays derivability conditions for Gödel's Second Incompleteness Theorem’, Journal of Symbolic Logic XXXVIII, pp. 359–367.
Kleene, S. C.: 1950, Introduction to Metamathematics (Van Nostrand, Princeton).
Kreisel, G.: 1965, ‘Mathematical logic’, in T. L. Saaty (ed.), Lectures on Modern Mathematics III (Wiley, New York).
Lob, M. H.: 1955, “Solution of a Problem of Leon Henkin”, Journal of Symbolic Logic XX, pp. 115–118.
Mates, B.: 1972, Elementary Logic, 2nd ed. (Oxford University Press, New York).
Monk, J. D.: 1976, Mathematical Logic (Springer-Verlag, New York, Heidelberg, Berlin).
Resnik, M.: 1974, “The Philosophical Significance of Consistency Proofs”, Journal of Philosophical Logic 3, pp. 133–147.
Tarski, A., A. Mostowski, and R. Robinson: 1960, Undecidable Theories (North-Holland, Amsterdam).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Auerbach, D.D. Intensionality and the Gödel Theorems. Philosophical Studies 48, 337–351 (1985). https://doi.org/10.1007/BF01305394
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01305394