2
votes
0answers
309 views

Topological proof of a result in Logic

I proved the result below using logic. My questions: Can this theorem be proved by purely topological means? Do you know any theorems that either can be used to prove the same result, or which give ...
5
votes
0answers
365 views

Continuous images of Cantor cubes

The original title of this question was "Is there only one (up to homeomorphism) zero-dimensional homogeneous dyadic space of weight $\mathfrak{c}$?". I changed it with the hope of getting a bit more ...
1
vote
0answers
122 views

Follow up question on the measure of the difference between a partial selector and a selector…

This is a different question from my previous question Difference between a partial selector and a selector, however I am going to repeat the preamble... In Kharazishvili's "Nonmeasurable Sets and ...
0
votes
1answer
137 views

Difference between a partial selector and a selector…

In Kharazishvili's "Nonmeasurable Sets and Functions" there is the following theorem: There exists a subset $X$ of $\mathbb{R}$ which is a Vitali set and a Bernstein set. The proof is as ...
1
vote
2answers
305 views

Cardinality of the set of countable dense subgroups of the reals up to isomorphism.

Joel David Hamkins in an answer to my question Countable Dense Sub-Groups of the Reals points out that "one can find an uncountable chain of countable dense additive subgroups of $\mathbb{R}$ whose ...
3
votes
1answer
926 views

$\Delta_{2}^{1}$-hard set?

Hello everybody! I'm interested in $\Delta_{2}^{1}$ subsets of Polish spaces, i.e. those sets that are both $\Pi_{2}^{1}$ and $\Sigma_{2}^{1}$ in the boldface hierarchy of Polish spaces. There is a ...
19
votes
0answers
927 views

Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
4
votes
0answers
443 views

continuous selection of a multivalued function?

The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
60
votes
9answers
15k views

solving f(f(x))=g(x)

This question is of course inspired by the question How to solve f(f(x))=cosx and Joel David Hamkins' answer, which somehow gives a formal trick for solving equations of the form $f(f(x))=g(x)$ on a ...
39
votes
4answers
2k views

How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

This question is about the space of all topologies on a fixed set X. We may order the topologies by refinement, so that τ ≤ σ just in case every τ open set is open in σ. ...