Benacerraf, Paul [1965], What numbers could not be, *Philosophical Review, *74(1), 47—73.

Cohen, Paul J. [1963], The independence of the continuum hypothesis, in: *Proceedings of the National Academy of Sciences of the United States of America, *vol. 50, 1143—1148.

Farah, Ilijas [2010], All automorphisms of the Calkin algebra are inner, *Annals of Mathematics, *173(2), 619—661.

Feferman, Solomon [1999], Does mathematics need new axioms?, *American Mathematical Monthly, *106, 106—111.

Frege, Gottlob [1893], *Grundgesetze der Arithmetik, *Jena: Verlag Hermann Pohle.

— [1980], *Philosophical and Mathematical Correspondence, *Oxford: Basil Blackwell.

Freiling, Chris [1986], Axioms of symmetry: Throwing darts at the real line, *Journal of Symbolic Logic, *51, 190—200.

Friedman, Michael [1974], Explanation and scientific understanding, *The Journal of Philosophy, *71(1), 5—19.

Friedman, Sy—David & Arrigoni, Tatiana [2013], The hyperuniverse program, *Bulletin of Symbolic Logic, *19(1), 77—96.

Hamkins, Joel D. [2012], The set—theoretic multiverse, *Review of Symbolic Logic, *5(3), 416—449.

Hilbert, David [1902—1903], Über den Satz von der Gleichheit der Basiswinkel im gleichschenkligen Dreieck, *Proceedings of the London Mathematical Society, *35, 50—68.

— [1927], The foundations of mathematics, in: *From Frege to Gödel: A Source Book in Mathematical Logic, 1879—1931, *edited by J. Van Heijenoort, Harvard University Press, 464—480.

Jech, Tomás [2003], *Set Theory, *Berlin: Springer, 3rd edn.

Kitcher, Philip [1976], Explanation, conjunction, and unification, *The Journal of Philosophy, *73(8), 207—212.

— [1981], Explanatory unification, *Philosophy of Science, *48(4), 507—531.

— [1984], *The Nature of Mathematical Knowledge, *New York: Oxford University Press.

— [1989], Explanatory unification and the causal structure of the world, in: *Scientific Explanation, vol. 13 of Minnesota Studies in the Philosophy of Science, *edited by P. Kitcher & W. Salmon, University of Minnesota Press, 410—505.

Kunen, Kenneth [1980], *Set Theory. An Introduction to Independence Proofs, *Amsterdam; New York: North—Holland.

Larson, Paul B. [2004], *The Stationary Tower: Notes on a Course by W. Hugh Woodin, *Providence, R.I.: AMS.

Mac Lane, Saunders [1986], *Mathematics: Form and Function, *New York: Springer—Verlag.

Maddy, Penelope [1997], *Naturalism in Mathematics, *Oxford: Clarendon Press.

Mancosu, Paolo [1999], Bolzano and Cournot on mathematical explanation, *Revue d'Histoire des Sciences, *52, 429—455.

— [2001], Mathematical explanation: Problems and prospects, *Topoi, *20, 97—117.

— [2008], *The Philosophy of Mathematical Practice, *Oxford: Oxford University Press.

Mancosu, Paolo & Hafner, Johannes [2008], Beyond Unification, in: *The Philosophy of Mathematical Practice, *edited by P. Mancosu, Oxford University Press, 151—179.

Mehlberg, Henryk [1960], The present situation in the philosophy of mathematics, *Synthese, *12, 197—210.

Molinini, Daniele [2011], *Toward a Pluralist Approach to Mathematical Explanation of Physical Phenomena, *Ph.D. thesis, University Paris 7.

Paseau, Alexander [2010], Proofs of the compactness theorem, *History and Philosophy of Logic, *31(1), 73—98.

Peckhaus, Volker** **[2004], Calculus Ratiocinate* versus Characteristica Universalis? The two traditions in logic, revisited, *History and Philosophy of Logic, *25(1), 3—14.

Phillips, Christopher N. & Weaver, Nik [2007], The Calkin algebra has outer automorphisms, *Duke Mathematical Journal, *139(1), 185—202.

Resnik, Michael D. [1981], Mathematics as a science of patterns: Ontology and reference, *Nous, *15(4), 529—550.

— [1997], *Mathematics as a Science of Patterns, *Oxford: Clarendon Press.

Shelah, Saharon [1977], Whitehead groups may not be free, even assuming CH. I, *Israel Journal of Mathematics, *28(3), 193—203.

— [1980], Whitehead groups may not be free, even assuming CH. II, *Israel Journal of Mathematics, *35(4), 257—285.

— [2003], Logical dreams, *The Bulletin of the American Mathematical Society, *40(2), 203—229.

Solovay, Robert M. [1970], A model of set—theory in which every set of reals is Lebesgue measurable, *Annals of Mathematics. Second Series, *92(1), 1—56.

Steiner, Mark [1978], Mathematical explanation, *Philosophical Studies: an International Journal for Philosophy in the Analytic Tradition, *34(2), 135151.

Tappenden, Jamie [2005], Proof style and understanding in mathematics I: Visualization, unification and axiom choice, in: *Visualization, Explanation and Reasoning Styles in Mathematics, *edited by P. Mancosu, K. Jorgensen, & S. Pedersen, Dordrecht: Springer—Verlag, 147—214.

Van Heijenoort, Jean [1967], *From Frege to Gödel: A Source Book in Mathematical Logic, 1879 1931, *Cambridge: Harvard University Press.

Viale, Matteo [2011], Martin's maximum revisited, 1110.1181.

— [2013], Category forcings, MM”{+++}, and generic absoluteness for the theory of strong forcing axioms, 1305.2058, URL: http://adsabs.harvard.edu/abs/2013arXivl305.2058V.

Weaver, Nik [2009], Is set theory indispensable?, 0905.1680, URL: http://adsabs.harvard.edu/abs/2009arXiv0905.1680W.

Whitehead, Alfred North & Russell, Bertrand [1910], *Principia Mathematica, *vol. 1, Cambridge: University Press.

Woodin, Hugh W. [2001], The Continuum Hypothesis. Part I, *Notices of the AMS, *48(6), 567—576.

Zermelo, Ernst [1930], On boundary numbers and domains of sets. New investigations in the foundations of set theory, in: *Collected Works. Volume I, *Berlin; Heidelberg: Springer—Verlag, 401—429, 2010.

— [2010], *Collected Works. Volume *I, Berlin; Heidelberg: Springer—Verlag.