Pages that link to "Item:Q1400874"

The following pages link to The MacLane problem on the set-theoretic foundation for category theory. II. (Q1400874):

Displaying 11 items.

• A logic for category theory (Q685421) (← links)
• Finite axiomatizability of local set theory (Q764013) (← links)
• A hierarchy of axiom system ACG (Q1264145) (← links)
• The MacLane problem on set-theoretical foundations for the category theory (Q1592189) (← links)
• Approximating Cartesian closed categories in NF-style set theories (Q1702983) (← links)
• A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program (Q1780370) (← links)
• Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory (Q2462035) (← links)
• Sets, classes, and categories (Q2780788) (← links)
• (Q3561584) (← links)
• ALGEBRAIC NEW FOUNDATIONS (Q5222536) (← links)
• The strength of Mac Lane set theory (Q5946048) (← links)