# Tagged Questions

**5**

votes

**2**answers

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

**9**

votes

**3**answers

352 views

### Is a model of arithmetic contained in a model of arithmetic an initial segment?

It's easy enough to show that if $\mathbb{N}_1$ is a non-standard model of the Peano axioms, then there is a canonical embedding $\mathbb{N} \to \mathbb{N}_1$, and we have a theorem that if $x \in ...

**2**

votes

**0**answers

359 views

### Deducing Skolem's nonstandard integers from downward Lowenheim-Skolem?

If one has a nonstandard model $\mathcal{N}$ of PA and adjoins to the first-order theory the countable list of axioms $1<H,\, 2<H,\, 3<H, \ldots$ (satisfied in $\mathcal{N}$) for all the ...

**12**

votes

**1**answer

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

**5**

votes

**1**answer

667 views

### Surreals and NSA: some foundational issues

Surreals and NSA: some foundational issues.
A.
Leaving aside the whole internal machinery of surreals (with funny questions like is $\omega$ an entire number and if yes is it odd or even, simple, a ...

**14**

votes

**1**answer

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

**9**

votes

**4**answers

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

**18**

votes

**9**answers

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

**20**

votes

**4**answers

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

**13**

votes

**4**answers

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

**16**

votes

**2**answers

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

**4**

votes

**2**answers

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

**14**

votes

**5**answers

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

**27**

votes

**6**answers

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

**33**

votes

**4**answers

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

**17**

votes

**5**answers

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