Skip to main content
27 events
when toggle format what by license comment
Jun 28 at 19:07 review Suggested edits
Jun 28 at 21:33
Jun 28 at 11:46 history edited Anixx CC BY-SA 4.0
deleted 2 characters in body
Jun 27 at 22:49 history edited Anixx CC BY-SA 4.0
added 1 character in body
Jun 27 at 22:33 history edited Anixx CC BY-SA 4.0
added 2 characters in body
Jun 16 at 18:46 history edited Anixx CC BY-SA 4.0
added 172 characters in body
Jun 14 at 3:09 history edited Anixx CC BY-SA 4.0
added 2 characters in body
Jun 13 at 22:38 history edited Anixx CC BY-SA 4.0
added 165 characters in body
Jun 13 at 22:15 comment added Anixx @JoelDavidHamkins $\omega_1$ being uncountable cannot be represented as a germ (otherwise with the above formula we could buld a sequence with numerosity equal to it). But it can be represented in integral forms: $\omega_1=\frac1\pi \int_0^1 \omega dx=\frac1\pi\int_0^\infty\ln \omega dx=\frac1\pi \int_0^1 \int_0^\infty dt dx=\frac1\pi\int_0^\infty\ln \int_0^\infty dt dx=\frac1\pi \int_0^1 \int_0^\infty \frac 1{t^2}dt dx$
Jun 13 at 22:00 comment added Anixx @JoelDavidHamkins regarding uncountable surreals, I just define $\omega_1$ to be the numerosity of $[0,1)$. It is an interesting area and I have some formulas developed but it works different from the countable formula. Here are some formulas I have: mathoverflow.net/questions/472792/…
Jun 13 at 21:57 comment added Joel David Hamkins I didn't know that Mathematica could accept arbitrary countable oracle input. Do you also have a Mathematica formula that will work with uncountable surreals?
Jun 13 at 21:52 answer added Joel David Hamkins timeline score: 6
Jun 13 at 21:48 comment added Anixx @JoelDavidHamkins here is the Mathematica formula for converting a countable surreal number to a set: S = Log[\[Omega]]; DifferenceDelta[Integrate[Normal[SolveValues[S == k, \[Omega]]], k], k] /. C[1] -> 0 // Last // FullSimplify // Expand
Jun 13 at 21:26 comment added Anixx @JoelDavidHamkins here I described the opposite process: mathoverflow.net/a/472814/10059 I am really amused how simple the formula turned out to be as opposed to various uses of ultrafilters and the like.
Jun 13 at 21:22 comment added Anixx @JoelDavidHamkins the definition is basically in this post: we represent surreal as a germ of Hardy field, then as divergent integral, then divide it into segmaents of area 1, and then the centers of mass of each segment form a set, whose numerosity is the original surreal.
Jun 13 at 21:20 comment added Anixx @JoelDavidHamkins well, in canonical embedding they also introduce derivation operation on surreals, coinciding with derivative of a germ.
Jun 13 at 21:16 comment added Joel David Hamkins Is that enough to determine an embedding? Also, you refer several times to numerosities as surreals, but I don't see any definition of this. My understanding of numerosity is that this is an axiomatic theory, which might be possible to realize with the surreal numbers (but this goes beyond ZFC I believe since it will involve global choice), but it is certainly not unique, in light of the automorphisms of the surreals. So what do you mean?
Jun 13 at 21:14 comment added Anixx @JoelDavidHamkins I think, the canonical embedding is where the germ of identity function is considered equal to $\omega$.
Jun 13 at 21:13 comment added Joel David Hamkins You mention a "canonical" embedding of a Hardy field into the surreals, but is there any such thing? What does this mean? Since the surreal numbers have automorphisms moving the so-called countable surreals to uncountable surreals, this concept is not inherent to the field structure of the surreals.
Jun 13 at 21:12 comment added Anixx @JoelDavidHamkins my point is, there could be countable surreals, which are greater than any germs, for instance, the numerosity of $\mathbb{Q}$ or any set with infinite number of accumulation points.
Jun 13 at 21:11 comment added Joel David Hamkins Well, yes, $\omega_1$, by definition, is the first uncountable ordinal.
Jun 13 at 21:10 comment added Anixx @JoelDavidHamkins exactly, I think $\omega_1$ is usually identified with the first uncountable ordinal.
Jun 13 at 21:10 comment added Joel David Hamkins I guess it might mean the surreals born on a countable ordinal birthday, and if so, then $\text{No}(\omega_1)$ would be the set of countable surreals.
Jun 13 at 21:09 comment added Anixx @JoelDavidHamkins actually I have encountered this term in some papers about surreals, I will search where I could have seen it.
Jun 13 at 21:08 comment added Joel David Hamkins I'm not sure about any downvotes. But what do you mean by a countable surreal?
Jun 13 at 21:05 comment added Anixx Why is the downvote? I was writing this several hours only t get downvote in seconds.
Jun 13 at 21:04 history edited Anixx CC BY-SA 4.0
added 3 characters in body
Jun 13 at 20:58 history asked Anixx CC BY-SA 4.0