New answers tagged descriptive-set-theory
3
votes
Quantifier complexity of the definition of continuity of functions
The following should really be a comment rather than an answer, but it's too long:
Continuity is rarely $\exists^*$ or $\forall^*$ characterizable.
Specifically, consider the following two properties ...
- 18.2k
0
votes
A $\Pi^0_1$ class of $\alpha$-subgenerics for all $\alpha < w_1^{CK}$
So I emailed back and forth with Leo about this and, after the usual part where I drag the conversation into confusion by getting overly specific, I believe I understand how this is supposed to work.
...
- 2,419
Top 50 recent answers are included