Feferman’s Forays into the Foundations of Category Theory

DOI10.1007/978-3-319-63334-3_12zbMath1429.03158arXiv1603.03272OpenAlexW2298945665MaRDI QIDQ5214790

Zachiri McKenzie, Paul K. Gorbow, Ali Enayat

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.03272

zbMATH Keywords

category theoryZermelo-Fraenkel set theorystratified set theorysmall/large distinction

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Foundations, relations to logic and deductive systems (18A15)

Related Items

ALGEBRAIC NEW FOUNDATIONS

Cites Work

• Operational set theory and small large cardinals
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Hanf numbers for fragments of L\(_{\infty \omega}\)
• A partition calculus in set theory
• Hyperclass Forcing in Morse-Kelley Class Theory
• Failure of Cartesian closedness in NF
• FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
• The strength of Mac Lane set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item