I've noticed that a few construction we use to construct different number systems also work if we carry them on within the surreal numbers. A few examples of what I mean are bellow. I was wondering if there were other examples than those I have found (also hopefully some which aren't just the natural numbers or real numbers).
Example 1) Peano axiom natural numbers.
If we define 0 := {|} and s(x) := {x|} and do the Peano axiom construction of the natural numbers, the numbers we get have the same form as their surreal number counter part.
E.g Normally when using the Peano axioms, 3 is defined as s(s(s(0))). If we apply s(s(s(0))) using the definition stated above, we get {{{{|}|}|}|}, which is also equal the the surreal number 3. This works for all natural numbers.
Example 2) Ordinal numbers.
For the ordinal numbers 0 := {}, and N is the set off all numbers less than N, e.g 3 = {0,1,2} = { {} , {{}} , {{},{{}}} }. If we instead say that 0 := {|} and that N := {L|} where L is the is the set off all numbers less than N, the surreal numbers we get are the same as the ordinal numbers, e.g {0,1,2|} = {{},{{}|},{{},{{}|}|}|} which is the surreal number 3.
Example 3) Dedekind cut real numbers.
The construction of real numbers by Dedekind cuts also works in the surreal numbers. You need to have the surreal rational numbers already defined, and then partition them in {L|R} the same way you would do in a (A,B) dedekind cut. The surreal number you would get from a cut is the same number you would get from a regular dedekind cut.
E.g $(\{ x \in \Bbb Q st. x\lt 0$ or $x^2\lt 2 \} ,\{ x \in \Bbb Q st. x\ge 0$ or $x^2\ge2 \} )$ is the dedekind form of $\sqrt{2}$ and $\{\{ x \in \Bbb Q st. x\lt 0$ or $x^2\lt 2 \} | \{ x \in \Bbb Q st. x\ge 0$ or $x^2\ge2 \} \}$ (where Q is the surreal rationals and 2 is the surreal 2) is the surreal $\sqrt{2}$.
Counter Example, Cauchy sequence real numbers.
As far as I can tell, this doesn't work with how cauchy sequences construct the real numbers. If you have a cauchy sequence and put all it's elements in L or R in {L|R}, you will get a different real number than the real number the cauchy sequence equals.
E.g 1, 1.4, 1.41, 1.414, is a cauchy sequence for $\sqrt{2}$ but {1, 1.4, 1.41, 1.414, ... |} is a surreal number slightly less than the surreal $\sqrt{2}$.
2, 1.5, 1.42, 1.415, ..., is a cauchy sequence for $\sqrt{2}$ but {2, 1.5, 1.42, 1.415, ...|} is the surreal number 3.
So there seems to be no "direct" method to make it work, but it can work if you change a couple of rules. You need 2 cauchy sequence that in the same equivalence class, put one in L and the other in R. The one in L can't have a biggest element, and the one in R can't have a least element.
E.g {1, 1.4, 1.41, 1.414, ... | 2, 1.5, 1.42, 1.415, ...} is the surreal $\sqrt{2}$.
This is ofcourse a different construction than the regular cauchy sequences real number construction, which is why I didn't consider it an example.
I apologize if part of this post is messy, I've had this question in my head for awhile and this is the best I am able to formulate it. If something is a little ambiguous, feel free to interpret the way that makes most sense. If I've made any mistakes here, or if anything I say seems to be flat out wrong, please point it out.