This is a preview of subscription content, log in via an institution to check access.
References
Bernays, P.: 1961, ‘Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre’, Essays on the Foundation of Mathematics, edited by Y. Bar-Hillel et al., Jerusalem, Magnes Press, 3–49.
Boolos, G.: 1985, ‘Nominalist platonism’, The Philosophical Review 94, 327–344.
Drake, F.: 1974, Set Theory: An Introduction to Large Cardinals, Amsterdam, North Holland Publishing Company.
Field, H.: 1984, ‘Is mathematical knowledge just logical knowledge?’ The Philosophical Review 93, 509–552.
Harrington, Leo: 1977, ‘Long projective wellorderings’, Annals of Mathematical Logic 12, 1–24.
Kreisel, G.: 1965, ‘Mathematical logic’, in T. L. Saaty, Lectures on Modern Mathematics 3, New York, John Wiley and Sons, 95–195.
Kreisel, G.: 1967, ‘Informal rigour and completeness proofs’, Prolems in the Philosophy of Mathematics, Amsterdam, North Holland, 138–186.
Levy, A.: 1960, ‘Principles of reflection in axiomatic set theory’, Fundamenta Mathematicae 49, 1–10.
Levy, A.: 1960a, ‘Axiom schemata of strong infinity in axiomatic set theory’, Pacific Journal of Mathematics, 10, 223–238.
Shapiro, S.: 1981, ‘Understanding Church's thesis’, Journal of Philosophical Logic 10, 353–365.
Tharp, L.: 1967, ‘On a set theory of Bernays’, Journal of Symbolic Logic 32, 319–321.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shapiro, S. Principles of reflection and second-order logic. J Philos Logic 16, 309–333 (1987). https://doi.org/10.1007/BF00152934
Issue Date:
DOI: https://doi.org/10.1007/BF00152934