28
$\begingroup$

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 which such a transfer principle would be useful arose in the thread Uniformizing the surcomplex unit circle ; can the surjectivity of the map $t \mapsto e^{it}$ from the reals to the complex unit circle be transferred to the surreals? Presumably, one would need a definition of the map that was in some sense first-order; what sorts of definitions count as first-order? It is not clear to me how definitions involving the two-sided bracket operation can be fit into a first-order framework.

Improve this question
$\endgroup$
3
  • 6
    $\begingroup$ Conway, ONAG end of Chapter 4, says "The field No is really irrelevant to nonstandard analysis." $\endgroup$
    – Gerald Edgar
    Commented Mar 19, 2012 at 19:49
  • 1
    $\begingroup$ related: mathoverflow.net/questions/29300/whats-wrong-with-the-surreals $\endgroup$
    – user21349
    Commented Feb 21, 2016 at 17:14
  • $\begingroup$ @GeraldEdgar, the point is not so much that the field No is irrelevant to Robinson's framework but that the field No may be of limited relevance to analysis; see my answer. $\endgroup$
    – Mikhail Katz
    Commented May 3, 2016 at 9:04

3 Answers 3

Reset to default
28
$\begingroup$

In the final section of my paper “The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small” (The Bulletin of Symbolic Logic 18 (2012), no. 1, pp. 1-45, I not only point out that the real-closed ordered fields underlying the hyperreal number systems (i.e. the nonstandard models of analysis) are isomorphic to initial subfields of the system of surreal numbers, but that the system of surreal numbers itself is isomorphic to the real-closed ordered field underlying what may be naturally regarded as the maximal hyperreal number system in NBG (von-Neumann-Bernays-Gödel set theory with global choice)—i.e., the saturated hyperreal number system of power On, On being the power of a proper class in NBG. It follows immediately from the latter that the ordered field of surreal numbers admits a relational extension to a model of non-standard analysis and, hence, that in such a relational extension the transfer principle does indeed hold.

By the way, by an initial subfield, I mean a subfield that is an initial subtree. Discussions of surreal numbers (including most of the early discussions) that downplay or overlook the marriage between algebra and set theory that is central to the theory overlook many of the most significant features of the theory. In addition to the paper listed above, this marriage of algebra and set theory is discussed in the following papers which are found on my website http://www.ohio.edu/people/ehrlich/

“Number Systems with Simplicity Hierarchies: A Generalization of Conway’s Theory of Surreal Numbers,” The Journal of Symbolic Logic 66 (2001), pp. 1231-1258. Corrigendum, 70 (2005), p. 1022.

“Conway Names, the Simplicity Hierarchy and the Surreal Number Tree”, The Journal of Logic and Analysis 3 (2011) no. 1, pp. 1-26.

“Fields of Surreal Numbers and Exponentiation” (co-authored with Lou van den Dries), Fundamenta Mathematicae 167 (2001), No. 2, pp. 173-188; erratum, ibid. 168, No. 2 (2001), pp. 295-297.

Improve this answer
$\endgroup$
6
  • $\begingroup$ Could you clarify whether the saturation property of the surreals includes a class resplendency property, by which we would get classes corresponding to the transfer of arbitrary functions and relations on the reals? (See also my comments below on the answer of Katz.) $\endgroup$
    – Joel David Hamkins
    Commented Jul 29, 2018 at 13:41
  • 1
    $\begingroup$ @Joel. Yes, Joel. While No does not come equipped with all the relational extensions one needs to do NSA, one can induce all such relational extensions by employing an isomorphism of ordered fields from No onto an On-saturated model of say Keisler’s axioms for hyperreal fields. In fact, since every real closed field is isomorphic to an initial subfield of No, one can do the same for any hyperreal field. $\endgroup$
    – Philip Ehrlich
    Commented Jul 29, 2018 at 14:26
  • 1
    $\begingroup$ @Joel (Continued): Thus far, there has been little cross-fertilization between the surreals and NSA, and as such there is no reason at present why one would want to use No or various subfields of No as the universe of a nonstandard model of analysis. It would simply require extra work with little gain. However, I would not rule out cross-fertilization down the line, which would make the marriage of the two systems desirable. $\endgroup$
    – Philip Ehrlich
    Commented Jul 29, 2018 at 14:26
  • 1
    $\begingroup$ Is there in any way a "most natural isomorphism" between the surreals and hyperreals? For instance, is there some "best" way to map $\omega$ to a hypernatural, and if so, do we know whether it is prime or composite, what $\sin(\omega)$ is, etc? $\endgroup$
    – Mike Battaglia
    Commented Apr 26, 2019 at 6:00
  • 1
    $\begingroup$ @Mike. I am not aware of the existence of a "most natural (such) isomorphism". $\endgroup$
    – Philip Ehrlich
    Commented Apr 29, 2019 at 23:35
5
$\begingroup$

Coming back to the first post. Most of modern mathematics is set-theoretic, that is, it studies sets of different kind, so that reals, real and complex functions, relations on reals, as well as a variety of more complex objects like the Hilbert space - are sets of this or another kind. In that sense, any mathematical definition is a 1-st order one, assuming there is no restriction on using the language of set theory within the common axiomatics.

Regarding the surs. The definition of them yields a certain ordered field, perhaps maximal in some well-defined sense, and nothing more. That surs are so attractive to some kind of mathematically-complying minds is, in my opinion, explainable that this still is a very rare domain where meaningful facts can be explored or observed, rather than proved. On the other hand, the students of surs I believe cannot care less about some transfer and about whether their omni-something does not satisfy some Peano axiom. After all, p-adic numbers do not satisfy Peano axioms either, but who cares.

Further it happens that the surs are isomorphic (in a class theory) to a certain nonstandard universe, defined by totally different means and towards quite different goals. This allows to enrich the surs by a variety of constructions (like the sine function) beyond their native field structure. In this case, a devoted student of surs might be interested to really figure out in some strict, well defined terms, whether a consistent sine function can be defined on surs by pure sur-means. For instance, consider a version of NBG which proves the existence of surs as a class but is not strong enough to prove the mentioned isomorphism, and prove that such a theory does not imply the existence of a consistent sur-sin. This can be very complex though.

Improve this answer
$\endgroup$
13
  • 3
    $\begingroup$ No it is not. 2nd order logic is a pretty peculiar thing having nothing to do with ordinary mathematics of any kind. As for theories with sets and proper classes, they are maintained in the 1st order logic, with the understanding that all objects are classes, while sets are those classes which are members of other classes. $\endgroup$
    – Vladimir Kanovei
    Commented Jul 29, 2018 at 18:51
  • 1
    $\begingroup$ @AlecRhea This is similar to the abominably-named "second-order arithmetic" being a first-order theory: the objects it talks about are second-order in a particular sense (= sets of naturals as opposed to just naturals), but the logic it works in is first-order. Conversely, second-order Peano arithmetic talks about first-order objects (= naturals only) using second-order logic. It's the worst. $\endgroup$
    – Noah Schweber
    Commented Jul 29, 2018 at 18:56
  • 2
    $\begingroup$ Yes exactly what I meant. Except that Peano's native axioms are 2nd order in a sense, as the induction axiom claims something about arbitrary properties or sets of naturals. One has to focus into details though. $\endgroup$
    – Vladimir Kanovei
    Commented Jul 29, 2018 at 18:58
  • 2
    $\begingroup$ Is "surs" a thing? $\endgroup$
    – nombre
    Commented Jul 29, 2018 at 21:16
  • 3
    $\begingroup$ However the distinction between members and non-members is not something deeply intrinsic there, it is rather similar to a distinction between say finite and infinite, countable and uncountable, Borel and non-Borel (pointsets) etc, i.e., it just separates a subuniverse of simpler objects $\endgroup$
    – Vladimir Kanovei
    Commented Jul 30, 2018 at 3:07
0
$\begingroup$

The real question as far as "ordinary mathematics" is concerned is whether there is a set-size surreal extension of the reals useful in doing analysis, and that as a very minimum admits a sine function. As far as I know the answer is negative.

Namely, there is no transfer principle in the surreals other than the one transfered from the hyperreals. Therefore it one wishes to do analysis with anything smaller than the absolutely largest class of numbers, the surreals are not an option. For example, all real functions extend to hyperreal extensions of the real field, but even such a simple function as the sine does not extend to surreal extensions (without passing via an identification of a maximal class-size surreal field and exploiting an identification of the latter with a class-size hyperreal field and importing a hyperreal transfer principle via the identification).

Improve this answer
$\endgroup$
21
  • 1
    $\begingroup$ So it seems that the sine function does extend to the surreals. But if I understand you, you seem to object to the proof of this, if one should prove it using a limit ultrapower construction? The hyperreals also are usually defined via ultrapowers, and indeed, ultrafilters are inherent in the transfer principle for the hyperreals, as I explain in mathoverflow.net/a/57108/1946. $\endgroup$
    – Joel David Hamkins
    Commented Jul 29, 2018 at 13:52
  • 4
    $\begingroup$ My view is that the sine function extends to the hyperreals by means of the ultrapower construction, and the same is true for the surreals, except that it is an iterated ultrapower. This is simply a class-length analogue of the same iterated ultrapower construction that one uses when providing set-sized models of the hyperreals with a specified hierarchy of infinitesimality. $\endgroup$
    – Joel David Hamkins
    Commented Jul 29, 2018 at 15:04
  • 2
    $\begingroup$ Let me add that I find talk about "the" hyperreals to be an inaccurate conflation of the diverse, non-isomorphic models that serve as instances. The common limit of all these fields is: the surreal numbers. $\endgroup$
    – Joel David Hamkins
    Commented Jul 29, 2018 at 15:07
  • 4
    $\begingroup$ @Mikhail. In addition to agreeing with Joel's comment about the sin function, I'd like to add the following. You say there is no sin function that can be defined on the surreals or, at least, there is no sin function other than one that can be induced from a nonstandard model of analysis. This is false, and has been known to be false for decades. In fact, as Martin Kruskal pointed out, there is a canonical sign function: $\sin(\theta +2\pi n)=sin\theta$, where $n$ ranges over the system Oz of omnific integers of No. $\endgroup$
    – Philip Ehrlich
    Commented Jul 29, 2018 at 15:10
  • 4
    $\begingroup$ @Mikhail (Continued): Since Oz is not a nonstandard model of arithmetic, this would not be an example of a sin function one would use if one were doing nonstandard analysis, but it is a perfectly fine sin function that is very useful for various model theoretic purposes. Moreover, there is a vast array of initial subfields of No that have sin functions based on portions of this construction. I am doing work on what I call \emp{trigonometric ordered fields} in which this and related matters are discussed. $\endgroup$
    – Philip Ehrlich
    Commented Jul 29, 2018 at 15:12

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .