# Tagged Questions

**13**

votes

**2**answers

611 views

### The Surreal numbers satisfy all the field axioms except that its elements constitute a proper class. Is it safe to call it a field?

Do all the field theorems apply to surreal numbers? If fields were redefined so that their elements were allowed to come from an arbitrary class, would the theory look different to an algebraist?

**1**

vote

**0**answers

369 views

### Existence of algebraic closure and Axiom of choice [duplicate]

Possible Duplicates:
Is the statement that every field has an algebraic closure known to be equivalent to the ultrafilter lemma?
algebraic closure of commuting pairs of matrices
we need ...

**19**

votes

**0**answers

937 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 ...

**9**

votes

**1**answer

304 views

### Set of maximal subfields not containing particular elements.

Instead of extending a field, by adjoining a new element, consider what happens if we remove an element or elements.
This started as a question on math.SE Field reductions where Pete L. Clark ...

**117**

votes

**0**answers

10k views

### Ultrafilters and automorphisms of the complex field

It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that ...

**17**

votes

**3**answers

1k views

### Does Con(ZF) imply Con(ZF + Aut C = Z/2Z)?

How many field automorphisms does $\mathbf{C}$ have? If you assume the axiom of choice, there are tons of them -- $2^{2^{\aleph_0}}$ I believe. And what if you don't -- how essential is the axiom of ...

**12**

votes

**3**answers

1k views

### Are there as many real-closed fields of a given cardinality as I think there are?

Let $\kappa$ be an infinite cardinal. Then there exists at least one real-closed field of cardinality $\kappa$ (e.g. Lowenheim-Skolem; or, start with a function field over $\mathbb{Q}$ in $\kappa$ ...

**20**

votes

**2**answers

634 views

### How much choice is needed to show that formally real fields can be ordered?

Background: a field is formally real if -1 is not a sum of squares of elements in that field. An ordering on a field is a linear ordering which is (in exactly the sense that you would guess if you ...