# Tagged Questions

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 ...

6k views

### How helpful is non-standard analysis?

So, I can understand how non-standard analysis is better than standard analysis in that some proofs become simplified, and infinitesimals are somehow more intuitive to grasp than epsilon-delta ...
2k views

### Various flavours of infinitesimals

I'm not sure if this is a soft question, and whether it may be too broad or, on the contrary, too localized. Well, in Mathematics the concept of "infinitesimal" has been of extreme importance for ...
3k views

### Which topological spaces admit a nonstandard metric?

My question is about the concept of nonstandard metric space that would arise from a use of the nonstandard reals R* in place of the usual R-valued metric. That is, let us define that a topological ...
2k views

### Ergodic Theorem and Nonstandard Analysis

Here is a quote from Lectures on Ergodic Theory by Halmos: I cannot resist the temptation of concluding these comments with an alternative "proof" of the ergodic theorem. If $f$ is a complex ...
5k views

### A remark of Connes

In an interview (at http://www.alainconnes.org/docs/Inteng.pdf) Connes remarks that I had been working on non-standard analysis, but after a while I had found a catch in the theory.... The point ...
3k views

### Nonstandard analysis in probability theory

I am quite new at nonstandard analysis, and recently I became aware of its use in probability theory mainly through the following two books: Nelson (1987). Radically Elementary Probability Theory ...
2k views

### What are the advantages of the more abstract approaches to nonstandard analysis?

This question does not concern the comparative merits of standard (SA) and nonstandard (NSA) analysis but rather a comparison of different approaches to NSA. What are the concrete advantages of the ...
3k views

### What is… A Grossone?

Y. Sergeyev developed a positional system for representing infinite numbers using a basic unit called a "grossone", as well as what he calls an "infinity computer". The mathematical value of this ...
2k views

### In what ways did Leibniz's philosophy foresee modern mathematics?

Leibniz was a noted polymath who was deeply interested in philosophy as well as mathematics, among other things. From my mathematical readings I have the impression that Leibniz's stature as a ...
3k views

### Was the early calculus inconsistent?

This question does NOT concern the RIGOR, or lack thereof, of the early calculus. Rather the question is of its CONSISTENCY. George Berkeley wrote in 1734 with reference to the early calculus that ...
2k views

### Euler's mathematics in terms of modern theories?

Some aspects of Euler's work were formalized in terms of modern infinitesimal theories by Laugwitz, McKinzie, Tuckey, and others. Referring to the latter, G. Ferraro claims that "one can see in ...
1k views

### Isomorphism types or structure theory for nonstandard analysis

My question is about nonstandard analysis, and the diverse possibilities for the choice of the nonstandard model R*. Although one hears talk of the nonstandard reals R*, there are of course many non-...
882 views

### What is the spectrum of possible cofinality types for cuts in an ordered field? Or in a model of the hyperreals? Or in a nonstandard model of arithmetic?

I am interested to know the full range of possibilities for the cofinality type of cuts in an ordered field and in other structures, such as nonstandard models of arithmetic. Definitions. ...
1k views

### Is non-existence of the hyperreals consistent with ZF?

I know that it is possible to construct the hyperreal number system in ZFC by using the axiom of choice to obtain a non-principal ultrafilter. Would the non-existence of a set of hyperreals be ...
2k views

### Surreal numbers vs. non-standard analysis

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 ...
1k views

### Non standard Algebraic Topology

Let *$\mathbb R$ a field of non-standard real numbers (or any real closed field) equipped with its natural generalized metric $d(x,y)=|x-y|$. Equip *$\mathbb R^2$ and *$\mathbb R^3$ with the $\ell^1$-(...
4k views

### nonstandard analysis book recommendation

I wish to learn nonstandard analysis. Are there any good book recommendations? I'm familiar with the ZFC system, and learnt analysis the classical way. I've found some undergraduate texts, but they ...
1k views

### Non-ZFC set theory and nonuniqueness of the hyperreals: problem solved?

The reals are the unique complete ordered field. The hyperreals $\mathbb{R}^\*$ are not unique in ZFC, and many people seemed to think this was a serious objection to them. Abraham Robinson responded ...
527 views

### Why does CH imply that there is a unique ultrapower of $\mathbb{N}$?

I've read these words: "How many ultra products $∏_Uℕ$ exist up to isomorphism, where $U$ is a non-principal ultrafilter over $ℕ$? If continuum hypothesis(CH) holds, then obviously just one ..." i ...
698 views

### Can nonstandard analysis be used to prove results in constructive or computable analysis?

Nonstandard analysis is a useful tool which can be used to prove a number of results in analysis. Question Can it also be used to prove results in computable or constructive analysis? If ...
691 views

### Bibliographic request concerning an article by Bernstein and Robinson

Concerning the article "Bernstein, Allen R.; Robinson, Abraham. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos. Pacific J. Math. 16 1966 421-431" I am interested in finding ...
722 views

### Non standard algebraic geometry: shadows of varieties

In this question $\mathbb F$ is a field and $P({\mathbb F}^{n+1})$ is the projective space of dimension $n$ over $\mathbb F$. The term algebraic variety means a subset of $P({\mathbb F}^{n+1})$ ...
3k views

### Leibnizian calculus textbook

Where can I find a calculus textbook that emphasizes differentials? Is there such a book that I could realistically require my calculus students to use? I want a textbook that supports me when I tell ...
638 views

### Non-standard enlargements, $\zeta(s)$ and analytic continuation

Consider an extension of the Riemann zeta function $\zeta(s)$ where $s$ now runs over a non-standard enlargement of the complex plane. Observe that if $s=\sigma + it$ with $\sigma>1$ real and ...
599 views

### dense orders are saturated

In a FOM msg of Fri May 21 19:59:44 EDT 1999, http://www.cs.nyu.edu/pipermail/fom/1999-May/003149.html Simpson gave a short proof of the following theorem: Theorem. Let F be a real closed ordered ...
419 views

2k views

### Which universities teach true infinitesimal calculus? [closed]

My colleague and I are currently teaching "true infinitesimal calculus" (TIC), in the sense of calculus with infinitesimals, to a class of about 120 freshmen at our university, based on the book by ...
980 views

### Are all countable, nonstandard models of arithmetic given by ultrapowers?

Countable models of PA fall into two categories: the standard one $(\omega, S)$ and the nonstandard ones (all the rest). The only way I've seen to construct a nonstandard model is through taking an ...
413 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 ...
907 views

### Uncountable nonstandard models of PA

Standard techniques (no pun intended) can be used to show that countable nonstandard models of Peano Arithmetic are order isomorphic to $\mathbb{N} + \mathbb{Z} \cdot \mathbb{Q}$. Once we have used ...
981 views

### Nonstandard Methods ( or Model Theory ) and Arithmetic Geometry

I hear that the nonstandard methods are applied to many problems in various fields of mathematics such as functional analysis, topology, probability theory and so on. So, I have become interested in ...
214 views

### Isomorphisms between non-standard reals.

Let $U$ and $V$ be two non-principal ultrafilters over N, and $R_1$ and $R_2$ the non-standard extensions of R given by $R_1=R^N/U$ and $R_2=R^N/V$. Are they always isomorphic (I think not, but could ...
864 views

### Salvaging Leibnizian formalism?

Can one justify Leibniz's formalism in a suitable algebraic or topological context? We have published some papers recently where we argue that Leibniz's formalism for the calculus wasn't ...
Let $\mathfrak{M} = \langle R, +,\times,> \rangle$ be such that $R$ is the set of real numbers and $\mathfrak{M} \models RA^1$ (the first-order axioms for the reals). Do we have characterisations ...