my forty years on his shoulders - Department of Mathematics

62(Gödel 1986-2003 Vol. II 28-32).Gödel, K. 1940. The consistency of the axiom of choice and the generalized continuumhypothesis with the axioms of set theory. Annals of mathematics studies, vol. 3(Princeton University Press), in: (Gödel 1986-2003 Vol. II 33-101).Gödel, K. 1944. “Russell’s mathematical logic”. In: (Gödel 1986-2003 Vol. II 119-141).Gödel, K. 1946. “Remarks before the Princeton bicentennial conference on problems inmathematics”. In: (Gödel 1986-2003 Vol. II 150-153).Gödel, K. 1947,1964. “What is Cantor’s continuum problem?”. In: (Gödel 1986-2003Vol. II 1947 version 176-187 1964 version 254-270).Gödel, K. 1958. “On a hitherto unutilized extension of the finitary standpoint”. In:(Gödel 1986-2003 Vol. II 241-251).Gödel, K. 1972. “On an extension of finitary mathematics which has not yet beenused”. In: (Gödel 1986-2003 Vol. II 271-280).Gödel, K. 1986-2003. Collected works. Vol. I-V. Oxford: Oxford University Press (S.Feferman et al., editors).Gogol, D. 1979. “Sentences with three quantifiers are decidable in set theory”.Fundamenta Mathematicae, CII, 1-8.Goodstein, R.L. 1944. “On the restricted ordinal theorem”. Journal of Symbolic Logic 9,1944, 33-41.Grunewald, F.J., and Segal, D. 1981. “How to solve a quadratic equation in integers”.Math. Proc. Cambridge Philos. Soc. 89 (1981) 1–5.Hajek, P., and P. Pudlak, P. 1993. Metamathematics of First-Order Arithmetic.Perspectives in Mathematical Logic, Springer.Hilbert, H. 1902. “Mathematical problems”. Lecture delivered before the InternationalCongress of Mathematicians at Paris in 1900. Bulletin of the American Mathematical