Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 wondered whether this was unique. When I got back to my computer, I looked on google and came up with this, which indicated that is not. However, the proof given there makes heavy use of Choice, and based on similar things, I am guessing that this cannot be avoided.


Define DC($\omega_1$) as:

For all trees $T$, $\quad$ $T\:$ has a branch $\ $ or $\ $ $T\:$ has a chain of length $\omega_1$ $\quad$.

which, if I haven't messed up the simplification, ZF proves is equivalent to the definition given at shelah.logic.at/files/446.ps .



Does $\ ZF+DC(\omega_1)\ $ prove that there is a unique subfield of $\mathbb{C}$ which is both isomorphic to $\mathbb{R}$ and has Baire property?

share|improve this question
2  
+1 just for blowing my mind with the fact that there are subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ other than $\mathbb{R}$! –  Zev Chonoles Jan 4 '11 at 4:54
4  
@Zev: The fact that $\mathbb C$ has uncountably many field automorphisms does not seem so surprising to me. After all the only obstruction that keeps $\mathbb R$ from having many automorphisms is the fact that its order can be described algebraically, hence is preserved. Since there is no such obstruction on $\mathbb C$, there should be plenty of automorphisms, and in fact there are. –  Tobias Hartnick Jan 4 '11 at 21:51
3  
There seems to be something wrong with the formatting? –  Harry Altman Jan 6 '11 at 4:12
    
Ah, thanks for the explanation Tobias. I found the result very counterintuitive until you pointed out that there was no reason to have that intuition to begin with :) –  Zev Chonoles Jan 6 '11 at 4:35
1  
@Ricky: Your translation of DC_omega1 to trees is not correct. The above statement is obviously false, for instance since clearly the one element tree has no chain of length omega1. –  Justin Moore Apr 3 '11 at 0:04

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.