The following pages link to (Q4009139):
Displaying 8 items.
- Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations (Q1312954) (← links)
- (Q3581790) (← links)
- One theorem of Zil′ber's on strongly minimal sets (Q3757898) (← links)
- (Q4227563) (← links)
- The Mathematical Import of Zermelo's Well-Ordering Theorem (Q4372921) (← links)
- The Structure of Z-Related Sets (Q5326400) (← links)
- On Zermelo's and Von Neumann's Axioms for Set Theory (Q5788307) (← links)
- Types for Proofs and Programs (Q5897610) (← links)