Toward a Theory of Second-Order Consequence

Notre Dame Journal of Formal Logic 40 (3):315-325 (1999)


There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for κ a strongly inaccessible ordinal.

Download options


    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

135 (#88,971)

6 months
2 (#259,908)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

Author Profiles

Gabriel Uzquiano
University of Southern California
Agustin Rayo
Massachusetts Institute of Technology

References found in this work

Nominalist Platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
How We Learn Mathematical Language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.

View all 13 references / Add more references

Citations of this work

Parthood.Theodore Sider - 2007 - Philosophical Review 116 (1):51-91.
A Theory of Metaphysical Indeterminacy.Elizabeth Barnes & J. Robert G. Williams - 2011 - In Karen Bennett & Dean W. Zimmerman (eds.), Oxford Studies in Metaphysics volume 6. Oxford University Press. pp. 103-148.
Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis 79 (Suppl 2):211-231.
Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.

View all 63 citations / Add more citations