Colin McLarty

发表

FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS

Colin McLarty, C. McLarty, 2012, The Review of Symbolic Logic.

Richard in the German Revoiution

Colin McLarty, 2001 .

Grothendieck’s Unifying Vision of Geometry

Colin McLarty, C. McLarty, 2018 .

Failure of Cartesian Closedness in NF

Colin McLarty, 1992, J. Symb. Log..

What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory

Colin McLarty, C. McLarty, 2010, The Bulletin of Symbolic Logic.

Elementary categories, elementary toposes

Colin McLarty, C. McLarty, 1992 .

A finite order arithmetic foundation for cohomology

Colin McLarty, C. McLarty, 2011 .

Defining sets as sets of points of spaces

Colin McLarty, C. McLarty, 1988, J. Philos. Log..

Review of S. Duffy, Virtual Mathematics: the Logic of Difference (Clinamen, 2006)

Colin McLarty, 2008 .

Elementary Axioms for Canonical Points of Toposes

Colin McLarty, 1987, J. Symb. Log..

Axiomatizing a Category of Categories

Colin McLarty, 1991, J. Symb. Log..

Anti-foundation and self-reference

Colin McLarty, 1993, J. Philos. Log..

F. A. Muller. Sets, classes, and categories. British Journal for the Philosophy of Science , vol. 52 (2001), pp. 539–573.

Colin McLarty, 2003 .

Numbers Can Be Just What They Have To

Colin McLarty, C. McLarty, 1993 .

Coherent, Cech, and Zariski cohomology in second order arithmetic

Colin McLarty, 2012 .

Zariski cohomology in second order arithmetic

Colin McLarty, C. McLarty, 2012, 1207.0276.

Mathematics: Form and Function.

Colin McLarty, Saunders MacLane, 1987 .

Exploring Categorical Structuralism

Colin McLarty, C. McLarty, 2004 .

Left exact logic

Colin McLarty, 1986 .