The following pages link to Definable Davies' theorem (Q3392303):
Displaying 5 items.
- Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
- The \(\Sigma_2^1\) counterparts to statements that are equivalent to the continuum hypothesis (Q2795909) (← links)
- Definability aspects of the Denjoy integral (Q2966798) (← links)
- Tarski’s Undefinability Theorem and the Diagonal Lemma (Q5092563) (← links)
- Some algebraic equivalent forms of $\mathbb {R}\subseteq L$ (Q5226507) (← links)