Timeline for Is the statement that every field has an algebraic closure known to be equivalent to the ultrafilter lemma?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 5, 2019 at 7:55 | comment | added | Joel David Hamkins | Jaap van Oosten has pointed out (to me via Albert Visser) that in the existence proof, one should take the theory $T$ to assert that every $F$-polynomial splits, rather than merely that every $F$-polynomial has a root, in order to ensure that elements of $K$ algebraic over $F$ form an algebraically closed field. | |
| Nov 20, 2010 at 18:00 | comment | added | Mike Shulman | That is really quite beautiful. | |
| Nov 20, 2010 at 15:44 | comment | added | Andrés E. Caicedo | Ok, the idea for uniqueness here is very natural. Pretty argument. | |
| Nov 20, 2010 at 12:01 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |