Search Results
| 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 surreal-numbers
Search options answers only
not deleted
user 83901
For questions about the surreal numbers, which are a real-closed ordered proper-class-sized field that contains both the real numbers and the ordinal numbers. Thus they contain both infinite numbers (including the ordinals, but also infinite numbers like ω-1 and sqrt(ω)) and infinitesimal numbers (like 1/ω). They can also be identified with a subclass of two-player partisan games.
5
votes
Accepted
A "surnatural numbers" as a largest model of the natural numbers
I asked (and also answered) a more general version of this question a while ago. To summarize the answer, some results of Kanovei and Shelah have the following corollary:
Fact. In $\mathsf{ZFC}$ there …
- 12.4k
16
votes
Do the surreal numbers enjoy the transfer principle in ZFC?
In $\mathsf{ZFC}$ if any two proper class models of the theory of an infinite set are isomorphic, then global choice holds. This is because $V$ and $\mathrm{Ord}$ are both models of this theory and an …
- 12.4k