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 ...
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.
...
Top 50 recent answers are included
Related Tags
descriptive-set-theory × 624set-theory × 348
lo.logic × 214
gn.general-topology × 182
measure-theory × 106
reference-request × 78
computability-theory × 61
real-analysis × 39
large-cardinals × 38
determinacy × 37
forcing × 36
borel-sets × 32
model-theory × 30
pr.probability × 28
fa.functional-analysis × 24
topological-groups × 21
inner-model-theory × 20
axiom-of-choice × 15
gr.group-theory × 14
cardinal-characteristics × 13
infinite-combinatorics × 12
constructibility × 12
infinite-games × 10
selection-principles × 10
metric-spaces × 9