16

On the consistency of a slight (?) modification of Quine’s New Foundations
– R Jensen
 1969

29

New foundations for mathematical logic
– Willard Van Orman Quine
 1953

8

Typical ambiguity: trying to have your cake and eat it too
– Solomon Feferman, John Heywood

2

The category of all categories as a foundation for mathematics
– F W Lawvere
 1966

2

Locally small categories and the foundations of mathematics
– Mac Lane, S
 1961

5

Operational set theory and small large cardinals
– S Feferman
 2009

2

Set theory over classes
– A Oberschelp
 1973

1

On the problem of foundations of category theory
– E Engeler, H Röhrl
 1969

3

One universe as a foundation for category theory
– S Mac Lane
 1969

28

An elementary theory of the category of sets
– F W Lawvere
 1964

20

Categorical Foundations and the Foundations of Category Theory
– S Feferman
 1977

10

Does category theory provide a framework for mathematical structuralism?
– Geoffrey Hellman
 2003

2

Category Theory as an Autonomous Foundation
– Ø Linnebo, R Pettigrew

34

Mathematics Form and Function
– Mac Lane, Saunders
 1986

90

A language and axioms for explicit mathematics
– S Feferman
 1975

4

Axiomatizing a category of categories
– C McLarty
 1991

11

Models of axiomatic theories admitting automorphisms
– A Ehrenfeucht, A Mostowski

26

Representations in abelian categories
– P Freyd
 1966

11

Settheoretical foundations of category theory
– Solomon Feferman
 1969
