Pages that link to "Item:Q1780370"
From MaRDI portal
The following pages link to A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program (Q1780370):
Displaying 6 items.
- Finite axiomatizability of local set theory (Q764013) (← links)
- The MacLane problem on the set-theoretic foundation for category theory. II. (Q1400874) (← links)
- Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory (Q2462035) (← links)
- (Q3561584) (← links)
- ALGEBRAIC NEW FOUNDATIONS (Q5222536) (← links)
- Multiple universes of sets and indeterminate truth values (Q5950498) (← links)