The following pages link to Leibnizian models of set theory (Q5311752):
Displaying 7 items.
- Model theory of the inaccessibility scheme (Q647330) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- On the Leibniz–Mycielski axiom in set theory (Q4829349) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- Rigid models of Presburger arithmetic (Q5108850) (← links)
- Logical generation of groups (Q6561441) (← links)