Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 1946
5 votes
Accepted

What are the properties of $\operatorname{No}[i]$?

The surreal complex field $\text{No}[i]$, known as the surcomplex field, is a proper-class-sized set-saturated algebraically closed field. It is universal for all fields of characteristic 0. Indeed, u …
Joel David Hamkins's user avatar
15 votes
Accepted

Can you build the surreal numbers as a simple direct limit of ordered fields?

Here is one way to get a positive answer to the title question. Theorem. There is a definable class $\mathcal{F}$ of ordered fields, containing isomorphic copies of any given field, and a directed ord …
Joel David Hamkins's user avatar
6 votes

Why is it said that all surreal numbers with birthdate $<\omega_1$ are isomorphic to a Hardy...

As Philip Ehrlich had mentioned in the other post, the initial claim of your question is Corollary B of the following paper Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven, Filling ma …
Joel David Hamkins's user avatar