Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'd like an example of a field of order $\beth_2$ (that is, the cardinality of the power set of the continuum). I'd prefer more explicit constructions, if possible. This is just out of curiosity, as I was wondering what such a field would "look" like.

share|improve this question

2 Answers 2

up vote 8 down vote accepted

Let $X=\{x_\xi:\xi<\beth_2\}$ be a set of $\beth_2$ indeterminates. The ring $\Bbb Z[X]$ of finite polynomials over $X$ with integer coefficients is an integral domain of power $\beth_2$, and its field of quotients has power $\beth_2$.

share|improve this answer
3  
And this is about as explicit as it gets, since the transcendence degree of such a field over its prime field is $\beth_2$. –  Andres Caicedo Nov 2 '12 at 0:36

The set of all surreal numbers born before day $\beth_2$ is perhaps as "explicit" a construction as you'll get, since it's totally ordered and the surreals feel very "computational."

share|improve this answer
    
Actually I'm not sure it's a field unless you adjoin them to the integers, in which case I guess we're in a situation similar to Brian's. –  Daniel Briggs Nov 6 '12 at 2:47

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.