The following pages link to (Q4956001):
Displaying 20 items.
- Sets and plural comprehension (Q484118) (← links)
- The usual model construction for NFU preserves information (Q691132) (← links)
- A single-sorted theory of multisets (Q740200) (← links)
- Approximating Cartesian closed categories in NF-style set theories (Q1702983) (← links)
- Why is the universe of sets not a set? (Q2054117) (← links)
- A modern rigorous approach to stratification in NF/NFU (Q2084571) (← links)
- Automorphisms of models of set theory and extensions of NFU (Q2255737) (← links)
- Canonical form of Tarski sets in Zermelo-Fraenkel set theory (Q2387851) (← links)
- The axiom scheme of acyclic comprehension (Q2443116) (← links)
- Characterization of model Mirimanov-von Neumann cumulative sets (Q2462036) (← links)
- Strong axioms of infinity in NFU (Q2732269) (← links)
- (Q3320365) (← links)
- (Q4003284) (← links)
- On the strength of a weak variant of the axiom of counting (Q5108092) (← links)
- Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)
- ALGEBRAIC NEW FOUNDATIONS (Q5222536) (← links)
- (Q5283809) (← links)
- The 3-stratifiable theorems of \(\text{NFU}_\infty\) (Q5937850) (← links)
- Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
