Questions tagged [surreal-analysis]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
2 answers
390 views

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

I was looking for a complex extension of the surreals and then I found $\operatorname{No}[i]$, what are its properties and how do I express $x+yi$ in the $a | b$ notation?
SebbyIsSwag's user avatar
15 votes
1 answer
773 views

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

The surreal numbers are sometimes called the "universally embedding" ordered field, in that every ordered field embeds into them. What "universally embedding" means seems to be ...
Mike Battaglia's user avatar
5 votes
0 answers
216 views

Surreal numbers and the ultrafilter lemma

In this question, I asked how to interpret a historical claim made by Conway regarding the potential, if not ideal, use of the surreal numbers for nonstandard analysis. In the comments and answers it ...
Mike Battaglia's user avatar
16 votes
3 answers
1k views

Interpreting Conway's remark about using the surreals for non-standard analysis

In Conway's "On Numbers And Games," page 44, he writes: NON-STANDARD ANALYSIS We can of course use the Field of all numbers, or rather various small subfields of it, as a vehicle for the ...
Mike Battaglia's user avatar
0 votes
0 answers
106 views

Can one represent divergent integrals or germs at infinity with surreal numbers?

I have been disliking the theory of surreal numbers for a while, but let's test it. So, we have a set of divergent improper integrals of continuous functions with the following ordering: $\int_0^\...
Anixx's user avatar
  • 9,294
0 votes
1 answer
143 views

An extension of the mean-value theorem for integrals? [closed]

The mean value theorem for integrals states that if $f$ and $g$ are continuous on $[a, b]$ and $g$ never changes sign on $[a, b]$, then there exists some $c\in [a, b]$ such that $$\int_{a}^{b} f(x)g(...
user avatar
4 votes
1 answer
474 views

Surreal numbers and the Axiom of Choice

In ZFC and its conservative extension NBG, it can be shown that every ordered field embeds into the surreal numbers. How much choice is needed to prove this? Without choice, what is a simple example ...
Mike Battaglia's user avatar
4 votes
0 answers
358 views

Algebraic Geometry Over the Surreal and Surrcomplex Numbers

I was wondering whether or not there is some kind of theory of algebraic geometry over the field of Surreal and Surrcomplex numbers?
Adi Ostrov's user avatar
10 votes
0 answers
181 views

Genetic construction of roots of surreal polynomials

In On Numbers And Games, Conway uses the term "genetic" for definitions of operations on surreal numbers that are inductive in terms of their options. His definitions of addition and multiplication ...
Mike Shulman's user avatar
  • 64.1k
5 votes
1 answer
441 views

Can a game be an option of itself?

My question is, can a game contain itself as an option? and can it be a surreal number? For example $A=\{A|\}$ or $B=\{C|B\}$ where $C$ is a surreal number. from the point of view of games, it is ...
yotam's user avatar
  • 51
14 votes
1 answer
802 views

The surreal version of $e$

For a sequence $(x_{\alpha})$ of surreal numbers indexed by the set of all ordinal numbers, we say that $\lim x_{\alpha}=l$ ($l$ is a surreal number) if for each surreal $\epsilon>0$, there exists ...
JSCB's user avatar
  • 1,610
8 votes
1 answer
513 views

Is $\omega^\frac{1}{\omega} > n \forall n \in \mathbb{N}$?

I was thinking about $log(\omega)$ which appears to be $\{\mathbb{N}|\omega^{\frac{1}{n}}\}_{n\in\mathbb{N}}\stackrel{?}{=}\omega^\frac{1}{\omega}$. Intuitively, there's the idea that, if the highest ...
Asa Kaplan's user avatar
9 votes
1 answer
503 views

Pontryagin dual of the surreal numbers?

Has any work been done on the Pontryagin dual of the surreal numbers (suitably topologized)? I have not been able to find anything and am not sure if this is still unknown. Alternatively, has this ...
Mike Battaglia's user avatar
15 votes
1 answer
867 views

Theory of C* algebras over other fields than the complex numbers

How much of the theory of C*-algebras holds when the complex numbers are replaced by different (algebraically closed) field (possibly with a distinguished ordered subfield that satisfies the same ...
Nate Ackerman's user avatar
6 votes
0 answers
500 views

More information on Kruskal's treatment of Surreal numbers as an asymptotic behavior of a real valued function

The only way that I could think about Surreal numbers is how Conway defined them inductively, with the two axioms and so on. I can't find any information about Kruskal's point of view and would very ...
user272651's user avatar
16 votes
2 answers
1k views

Is it possible to generalize functions like $x^y, \ln x, \sin x, \arctan x$ to surreal numbers or surcomplex numbers?

Is it possible to generalize functions like $x^y, \ln x, \sin x, \arctan x$ to surreal numbers or surcomplex numbers? Which of their properties and relations (e.g. usual trig identities) will still ...
OlegK's user avatar
  • 263
25 votes
3 answers
5k views

Surreal numbers vs. non-standard analysis

What is the relationship between the surreal numbers and non-standard analysis? In particular, is there a transfer principle for surreal numbers they way there is for NSA? A specific situation in ...
James Propp's user avatar
16 votes
0 answers
2k views

Characterizing the surcomplex numbers

Conway showed that the Field of surreal numbers ("${\bf No}$") is the maximal totally ordered Field. Later Jacob Lurie showed that the Group of all partizan games ${\bf Pg}$ is the universally ...