Linked bibliography for the SEP article "Independence and Large Cardinals" by Peter Koellner
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Ackermann, Wilhelm, 1937, “Die Widerspruchsfreiheit der allgemeinen Mengenlehre,” Mathematische Annalen, 114: 305–315. (Scholar)
- Barwise, Jon K., 1977, Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics: 90), Amsterdam: North-Holland. (Scholar)
- Buss, Samuel R., 1998a, “First-Order Proof Theory of Arithmetic,” in Buss 1998b, 79–147. (Scholar)
- –––, 1998b, Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics: 137), Amsterdam: North Holland. (Scholar)
- Feferman, Solomon, 1960, “Arithmetization of metamathematics in a general setting,” Fundamenta Mathematicae, 49: 35–92. (Scholar)
- Foreman, Matthew and Kanamori, Akihiro, 2009, Handbook of Set Theory,
Berlin: Springer-Verlag. (Scholar)
- Gödel, Kurt, 1946, “Remarks before the Princeton
bicentennial conference on problems in mathematics,” in
Gödel 1990, 150–153. (Scholar)
- –––, 1986, Collected Works I: Publications 1929–1936,
S. Feferman, J. Dawson, S. Kleene, G. Moore, R. Solovay, and J. van Heijenoort (eds.),
Oxford: Oxford University Press. (Scholar)
- –––, 1990, Collected Works II: Publications 1938–1974,
S. Feferman, J. Dawson, S. Kleene, G. Moore, R. Solovay, and J. van Heijenoort (eds.),
Oxford: Oxford University Press. (Scholar)
- Jech, Thomas J., 2003, Set Theory (Third Millennium Edition, Revised and Expanded), Berlin: Springer-Verlag. (Scholar)
- Kanamori, Akihiro, 2003, The Higher Infinite: Large Cardinals in Set Theory from their Beginnings
(Springer Monographs in Mathematics), 2nd edition, Berlin: Springer. (Scholar)
- Koellner, Peter, 2009, “On Reflection Principles,” Annals of Pure and Applied Logic, 157: 206–219. (Scholar)
- Kunen, Kenneth, 1980, Set theory: An Introduction to Independence Proofs (Studies in Logic and the Foundations of Mathematics: 102), Amsterdam: North-Holland. (Scholar)
- Lindström, Per, 2003, Aspects of Incompleteness
(Lecture Notes in Logic: 10), 2nd edition, CITY: Association of
Symbolic Logic. (Scholar)
- Shelah, Saharon, 1984, “Can you take Solovay's inaccessible away?,”
Israel Journal of Mathematics, 48(1): 1–47. (Scholar)
- Smoryński, Craig A., 1977, “The Incompleteness Theorems,” in Barwise 1977, 821–865. (Scholar)
- Tait, William W., 2005a, “Constructing cardinals from below,” in Tait 2005b, 133-154. (Scholar)
- –––, 2005b, The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History, Oxford: Oxford University Press. (Scholar)