Abstract
Inspired by a remark of Kurt Gödel in his contribution to “The Philosophy of Bertrand Russell” we revisit Schütte’s famous result on the limits of predicativity from a set-theoretic point of view.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jon Barwise. Admissible Sets and Structures. Perspectives in Mathematical Logic. Springer-Verlag, Berlin/Heidelberg/New York, 1975.
Laura Crosilla. Predicativity and Feferman. In Gerhard Jäger and Wilfried Sieg, editors, Feferman on Foundations, Outstanding Contributions to Logic, pages 423–447. Springer-Verlag, Heidelberg, Berlin, 2017.
Keith J. Devlin. Constructibility. Perspectives in Mathematical Logic. Springer-Verlag, Heidelberg/New York, 1984.
Solomon Feferman. Systems of predicative analysis. Journal of Symbolic Logic, 29:1–30, 1964.
Solomon Feferman. A more perspicuous system for predicativity. volume 1: Spezielle Wissenschaftstheorie, pages 58–93. De Gruyter, Berlin, 1979.
Solomon Feferman. Predicativity. In Steward Shapiro, editor, The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford Handbooks in Philosophy, pages 590–624. Oxford University Press, Oxford, 2007.
Solomon Feferman, John Dawson, Warren Goldfarb, Charles Parsons, and Robert Solovay, editors. Kurt Gödel Collected Works, volume III, Oxford, New York, 1995. Oxford University Press.
Kurt Gödel. The consistency of the axiom of choice and of the generalized continuumhypothesis. Proceedingss of the National Academy of Sciences of the U.S.A., 24:556–557, 1938.
Kurt Gödel. The philosophy of Bertrand Russell. In Paul Arthur Schilpp, editor, The Philosophy of Bertrand Russell, pages 125–153. Northwestern University, Evanstown, 1944.
Kurt Gödel. Vortrag Göttingen. In Feferman et al. [7], pages 126–134.
Georg Kreisel. La prédicativité. Bulletin de la Societe Mathematique de France, 88:371–391, 1960.
Georg Kreisel. Set theoretic problems suggested by the notion of potential totality. In Proceedings of the Symposium on Foundations of Mathematics, pages 103–140. Pergamon Press, Oxford, 1961.
YiannisN. Moschovakis. Elementary Induction on Abstract Structures, volume 77 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1974.
Wolfram Pohlers. Proof Theory. The first step into impredicativity. Universitext. Springer-Verlag, Berlin/Heidelberg/New York, 2009.
Wolfram Pohlers. Semi–formal calculi and their applications. In Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The quest for consistency, pages 317–354. Springer-Verlag, 2015.
Wolfram Pohlers. A note on the limits of predicativity. submitted, page 31, 2018.
Henri Poincaré. Über transfinite Zahlen. In Henri Poincaré, editor, Sechs Vorträge über ausgewählte Gegenstände aus der reinen Mathematik und mathematischen Physik (5), pages 45–48. Teubner, 1910.
Bertrand Russell. On some difficulties in the theory of tranfinite numbers and order types. Proceedings of the London Mathematical Society, 4:135–164, 1906.
Kurt Schütte. Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für Mathematische Logik und Grundlagenforschung, 7:45–60, 1965.
Kurt Schütte. Predicative well-orderings. In John N. Crossley and Michael A. E. Dummett, editors, Formal Systems and Recursive Functions, Studies in Logic and the Foundations of Mathematics, pages 280–303. North-Holland Publishing Company, Amsterdam, July 1965.
Kurt Schütte. Proof Theory. Number 225 in Grundlehren der mathematischenWissenschaften. Springer-Verlag, Heidelberg/New York, 1977.
Robert Solovay. Introductory note to Gödel 1939b and 1939a. In Feferman et al. [7], pages 114–126.
William W. Tait. Normal derivability in classical logic. In Jon Barwise, editor, The Syntax and Semantics of Infinitary Languages, number 72 in Lecture Notes in Mathematics, pages 204–236. Springer-Verlag, Heidelberg/New York, December 1968.
OswaldVeblen. Continuous increasing functions of finite and transfinite ordinals. Transactions of the American Mathematical Society, 9:280–292, 1908.
Hermann Weyl. Das Kontinuum. Veit & Co., Leipzig, 1918.
Hermann Weyl. Der Circulus vitiosus in der heutigen Begründung der Mathematik. Jahresbericht der Deutschen Mathematiker-Vereinigung, 28:85–92, 1919.
Hermann Weyl. Über die neue Grundlagenkrise der Mathematik. Mathematische Zeitschrift, 10:39–79, 1921.
Alfred North Whitehead and Bertrand Russell. Principia Mathematica, Vol. 1 2nd edition. Cambridge University Press, Cambridge, 1925.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Pohlers, W. (2020). The Limits of Predicativity Revisited. In: Kahle, R., Rathjen, M. (eds) The Legacy of Kurt Schütte. Springer, Cham. https://doi.org/10.1007/978-3-030-49424-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-49424-7_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-49423-0
Online ISBN: 978-3-030-49424-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)