Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 24611

Nonstandard analysis is a way of doing calculus and analysis with infinitesimals. The historical approach of Leibniz, Euler, and others to infinitesimal calculus was gradually replaced by epsilon, delta techniques in the context of a real continuum, in the 19th century. It was not until the 1960s that Abraham Robinson developed a theory of a hyperreal continuum that allows for a development of analysis procedurally akin to that of its founders.

16 votes
3 answers
2k 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 techniques o …
Mike Battaglia's user avatar
9 votes
1 answer
525 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 be …
Mike Battaglia's user avatar
6 votes
2 answers
511 views

"Lebesgue-measurable" cardinals and real-closed fields

I understand the motivation behind measurable cardinals is to ask the question: "is there any set large enough to admit a non-trivial measure on all of its subsets?" Hence, it's also worthwhile to as …
Mike Battaglia's user avatar
9 votes
1 answer
307 views

Transfinitely iterating the Levi-Civita, Hahn or Puiseux constructions

This question was originally asked at MSE but seems too advanced, so I'm reposting it here. In short, the idea is that many constructions for non-Archimedean fields can naturally be iterated, in some …
Mike Battaglia's user avatar
11 votes
4 answers
1k views

Surreal numbers, ultrapowers of $\Bbb R$, ordinal-valued functions and the slow-growing hier...

Philip Ehrlich's paper “The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small”, The Bulletin of Symbolic Logic 18 (1) 2012, pp. 1-45. claims as a theorem that, in NBG, $ …
Mike Battaglia's user avatar