Enriched stratified systems for the foundations of category

by Solomon Feferman
Citations:2 - 1 self

Documents Related by Co-Citation

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 Set-theoretical foundations of category theory – Solomon Feferman - 1969