Heller M, Woodin W.H. (eds.) Infinity. New research frontiers (CUP, 2011)(ISBN 1107003873)(O)(327s)_MAml_

eferences 129ReferencesGödel, Kurt. 1931. Über formal unentscheidbare sätze der principia mathematica und verwandtersysteme I. Monatshefte für Mathematik u Physik 38: 349–60.Kaye, Richard. 1991. Models of Peano Arithmetic, vol. 15. In Oxford Logic Guides. NewYork:Oxford University Press.Kleene, S. C. 1938. On notation for ordinal numbers. Journal Symbolic Logic 3: 150–55.Li, Ming, and Vitányi, Paul. 1997. An Introduction to Kolmogorov Complexity and Its Applications.Graduate Texts in Computer Science. 2nd ed. New York: Springer-Verlag.Scott, Dana. 1962. Algebras of sets binumerable in complete extensions of arithmetic. In RecursiveFunction Theory, vol.5.InProceedings of the Symposium on Pure Mathematics, pp. 117–21.Providence, RI: American Mathematical Society.