Pages that link to "Item:Q4836050"
From MaRDI portal
The following pages link to New set-theoretic axioms derived from a lean metamathematics (Q4836050):
Displaying 6 items.
- Models of set theory with definable ordinals (Q1777270) (← links)
- (Q2998170) (← links)
- The limits of determinacy in second-order arithmetic (Q3116522) (← links)
- On the Leibniz–Mycielski axiom in set theory (Q4829349) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- Leibnizian models of set theory (Q5311752) (← links)