# Questions tagged [surreal-numbers]

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.

61 questions
Filter by
Sorted by
Tagged with
102 views

### Smallest ring whose field of fractions includes all the reals (subring of omnific integers?)

The surreal numbers have a subring, the ring of "omnific integers" or $\mathbf{Oz}$, which have the property that every surreal number is a quotient of two omnific integers. That is, the field of ...
104 views

### How does Conway's proposed compromise for constructing the real numbers in ONAG actually work?

I have also asked this question on Math Stack Exchange (link). In On Numbers and Games, after discussing the inclusion of the real numbers in the surreal numbers, No, Conway discusses the merits of ...
401 views

### In theory, how would Oneiric numbers be defined?

Background I am not a professional mathematician. I am researching Surreal numbers & games for fun (I think they are truly beautiful). If this question is not appropriate here, I beg forgiveness &...
2k views

### Are Conway's combinatorial games the “monster model” of any familiar theory?

This is related to this question about a "mother of all" groups, and so seemed like it'd fit in better at MO than MSE. If I understand the answer to that question correctly, the surreal numbers have ...
101 views

107 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 ...
126 views

### 'Smallest' subfield of the Surreals which is isomorphic to the Surreals as an ordered group

What is the smallest subfield $F\subset N_0$ such that $$(F,+,\times,\leq)\ncong(N_0,+,\times,\leq)$$ but $$(F,+,\leq)\cong(N_0,+,\leq)?$$ Since these are all going to be proper classes cardinality is ...
311 views

### Surreal Numbers, Proving $x1=x$

I am trying to learn the theory of the Surreal numbers and I am therefore going over all the theorems and trying to prove them for myself. I am struggling to complete the proof of $x1 = x$. I have ...
3k views

### Who wins two player sudoku?

Let's say players take turns placing numbers 1-9 on a sudoku board. They must not create an invalid position (meaning that you can not have the same number in within a row, column, or box region). The ...
165 views

149 views

### A question about real closed fields that contain the real numbers as a proper subfield

Let F be such a real closed field and let F(C) be the algebraic closure of F. An important example of F is FSR- the field of SURREAL numbers. Suppose that one has constructed an exponential function f ...
179 views

### A (second-order) axiomatic characterization of the integers which rules out surreal/hyperreal versions

I've seen it stated, for example here, that the integers are the unique commutative ordered ring with identity whose positive elements are well-ordered. I understand why the integers are the ...
439 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 ...
179 views

### Extension to real number system [closed]

Suppose you have equation involving a number $s$ $s^2+ 1 = 0$, to solve it one needs to treat $s$ as complex number $s = \pm i$, and introduce $i$ as imaginary unit. Now suppose you have equation ...
515 views

### Is the universality of the surreal number line a weak global choice principle?

I'd like to consider the principle asserting that the surreal number line is universal for all class linear orders, or in other words, that every linear order (including proper-class-sized) linear ...
155 views

### Ordinals which embed in surreal subfields

If $k$ is an ordered field, the least ordinal $s(k)$ which doesn't embed in $(k,<)$ is regular. This is because every interval of an ordered field embeds in every infinite interval so given a ...
696 views

### Surreal compactness

In a comment here, Joel David Hamkins said: ...I think perhaps every set-sized open cover of a bounded interval in the surreals has a finite subcover, but there are proper class open covers with no ...
452 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 ...
1k views

### Nice sign-expansions of special surreal numbers

What is the "right" surreal generalization of the fact that a real number $r$ is rational if and only if its sign-expansion is eventually periodic? I can think of more than one natural way to ...
486 views

### Nimbers and Surreal Numbers [closed]

I have been researching Combinatorial Game Theory. One common theme is the assignment of values to games in order to classify the game as a win for a specific player. One such way is class of surreal ...
918 views

### Is it possible to evaluate Connect 4 positions with Combinatorial Game Theory?

The surreal numbers in Combinatorial Game Theory only work for certain classes of games (e.g. they must satisfy normal play convention). This rules out even reasonable games with fairly well-...
390 views

215 views

### Is a certain group, derivable from the surreal numbers, isomorphic to the surreal numbers?

Let's treat $\mathbf{No}$ as a group under addition, and forget its field structure for a little bit. I will define a "maximally Archimedean subgroup" of $\mathbf{No}$ as a subgroup which is ...
### 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 ...