This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
A Church . (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5 (2), 55–68.
V. Gitman , & J. D Hamkins . (2010). A natural model of the multiverse axioms. Notre Dame Journal of Formal Logic, 51 (4), 475–484.
V. Halbach , & L Horsten . (2005). Computational structuralism. Philosophia Mathematica, 13, 174–186.
J Hamkins . (2007). The modal logic of forcing. Transactions of the Americal Mathematical Society, 360 (4), 1793–1817.
J Hamkins . (2009). Some second order set theory. In R. Ramanujan , and S. Sarukkai , editors, Logic and Its Applications: Lecture Notes in Computer Science, Vol. 5378. Heidelberg, Germany: Springer-Verlag, pp. 36–50.
D. A Martin . (2001). Multiple universes of sets and indeterminate truth values. Topoi, 20 (1), 5–16.
J. P Mayberry . (2000). Review of J. L. Bell: A primer of infinitesimal analysis. British Journal of the Philosophy of Science, 51, 339–445.
V McGee . (1997). How we learn mathematical language. The Philosophical Review, 106 (1), 35–68.
A Mostowski . (1967). Recent results in set theory. In I. Lakatos , editor. Problems in the Philosophy of Mathematics. Amsterdam, The Netherlands: North Holland Publishing Company.
S Read . (1997). Completeness and categoricity: Frege, Gödel and model theory. History and Philosophy of Logic, 18 (2), 79–93.
S Shapiro . (1990). Second-order logic foundations and rules. The Journal of Philosophy, 87 (5), 234–261.
S. G Simpson . (1999). Subsystems of Second Order Arithmetic. Berlin, Germany: Springer.
T Weston . (1976). Kreisel, the continuum hypothesis and second order set theory. The Journal of Philosophical Logic, 5, 281–298.