The following pages link to (Q5622191):
Displaying 12 items.
- Scales at \({\aleph_{\omega} }\) (Q891164) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- All uncountable cardinals can be singular (Q1142208) (← links)
- A maximal definable sigma-ideal over \(omega_ 1\). (Q1159194) (← links)
- On the spectrum of characters of ultrafilters (Q1782239) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Levy and set theory (Q2493914) (← links)
- The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
- Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes (Q4568543) (← links)
- A model of second-order arithmetic satisfying AC but not DC (Q5223119) (← links)
- Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy (Q5376616) (← 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)
