Pages that link to "Item:Q4829349"
From MaRDI portal
The following pages link to On the Leibniz–Mycielski axiom in set theory (Q4829349):
Displaying 17 items.
- A definable \(E_0\) class containing no definable elements (Q494659) (← links)
- A countable definable set containing no definable elements (Q679849) (← links)
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation (Q904147) (← links)
- Countable OD sets of reals belong to the ground model (Q1745352) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- Ehrenfeucht's lemma in set theory (Q1782238) (← links)
- Definable \(\mathsf{E}_0\) classes at arbitrary projective levels (Q2636533) (← links)
- The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
- Leon Chwistek on the no-classes theory in<i>Principia Mathematica</i> (Q4472747) (← links)
- Models of set theory in which the separation theorem fails (Q5033988) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- A Groszek‐Laver pair of undistinguishable ‐classes (Q5108086) (← links)
- Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$ (Q5162560) (← links)
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited (Q5163164) (← links)
- Leibnizian models of set theory (Q5311752) (← links)
- On Russell typicality in set theory (Q5880254) (← links)
- A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings (Q6131201) (← links)
