Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [nonstandard-analysis]

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

0
votes
0answers
16 views

On singularly perturbed external differentiable equations with canards

Let $X$ be an internal set. A flexible function is a function $F:X \rightarrow E$. An internal function $f: X\rightarrow R$ is called a representative of $F$ if $f(x)\in F(x)$ for all $x\in X$. A ...
2
votes
0answers
121 views

How to construct “inaccessible hypernatural”?

Consider that, take a sufficient large natural number $a_1$, then take a natural number $a_2$ sufficient large to $a_1$, then take $a_3$,... Now we have a function $n \mapsto a_n$ which grows very ...
1
vote
0answers
123 views

Embedding standard function spaces into superstructure

I have a question concerning the precise handling the usual function spaces like $L^2$ in the context of the superstructure. In their paper Benci, Vieri; Luperi Baglini, Lorenzo. Generalized ...
3
votes
0answers
101 views

Self homomorphisms of hyperreals fixing the reals

What do we know about the circumstances (whether having to do with the axioms of set theory or the model itself) under which a field $F$ of hyperreals (=ultrapower of $\mathbb R$ with respect to a non-...
8
votes
1answer
404 views

Reference Request: A definition of topology using monads (a.k.a. halos)

In nonstandard analysis, there is a way of studying topological spaces known as "monads" (more commonly known as halos, as it turns out). The monad of a point $x$ (written $\mu(x))$ is the set of all ...
1
vote
0answers
76 views

Bertoglio&Chuaqui's nonstandard (discrete) proof of the Jordan curve theorem

I was reading this nonstandard proof, which is based on a more elementary discrete version of the Jordan curve theorem, but I could not understand a part of this proof. Given a (nonstandard) ...
20
votes
1answer
944 views

Has anything (other than what is in the obituary witten by M. Noether) survived of Paul Gordan's defense of infinitesimals?

Question. Has anything other than what can be guessed from this obituary written by Max Noether survived of the 'defense' of infinitesimals that Paul Gordan gave in his doctoral disputation on March 1,...
7
votes
1answer
214 views

What is the Turing degree associated with an ultrafilter $U$?

I asked Turing degree of a turing machine with access to an (arbitrary) nonstandard integer, not thinking about the possiblity that this could depend on the model used. The question was not formulated ...
3
votes
0answers
34 views

What is $\mu$-approximablity in Loeb measure (conflicting statements in books)?

In Loeb measure, a set is Loeb measurable iff it is $\mu$-approximable, where $\mu$ (roughly speaking) is a finitely additive hypervalued measure over internal sets. But I found the definitions of $\...
4
votes
3answers
439 views

Turing degree of a turing machine with access to an (arbitrary) nonstandard integer

Let us consider Turing machines (or other Turing-complete model of computation) that, in addition to their regular input, are given some integer $H$, where $H$ is positive nonstandard. This means, in ...
4
votes
3answers
4k views

Was Cauchy prescient?

Cauchy proved a sum theorem for series of continuous functions in 1821, and published another article on the subject in 1853. Michael Segre, writing in Archive for History of Exact Sciences, claimed ...
15
votes
1answer
407 views

Non standard extension of real numbers via nonprincipal ultra filters

Assume That $U,V$ are two filters on the natural number $\mathbb{N}$. We say that $U$ is equivalent to $V$ if there is a bijection $\phi: \mathbb{N} \to \mathbb{N}$ such that $\tilde{\phi}(U)=...
6
votes
1answer
535 views

Did Bishop make those comments in his oral presentation?

The 1975 published version of a 1974 talk at a workshop by Errett Bishop contains the following comment: "A more recent attempt at mathematics by formal finesse is non-standard analysis. I gather ...
8
votes
1answer
348 views

Are the definable hyper-reals, using quantifiers only over the standard reals and natural numbers, the same as the algebraic numbers?

This question arose today at Yevgeny Gordon's talk, "Will nonstandard analysis be the analysis of the future?" at the CUNY Logic Workshop. Here is my way of asking it. Consider the ordered real field ...
16
votes
2answers
445 views

Automorphisms of the hyperreals over the rationals and nontrivial automorphism groups

A classic result says the automorphism group of $\mathbb{R}$ (over $\mathbb{Q}$) is trivial. The proof is simple: every automorphism preserves squares, and hence fixes the positive reals, so it must ...
5
votes
2answers
323 views

How is compactness related to countable saturation?

By Cantor's intersection theorem every decreasing nested sequence of nonempty compact sets has a common point. A superficially similar result holds that every decreasing nested sequence of nonempty ...
1
vote
1answer
128 views

Archimedean completeness of some fields

I need a reference (different from Hahn's 1907 paper) for the following result. Theorem: If $G$ is a totally ordered abelian group, then the field $\mathbb{R}((G))$ is archimedean complete. $\...
1
vote
1answer
95 views

Compactness and omega models

If $T$ is a first order set theory having finitely many axioms, suppose the consistency of $T$ is already known and that $T$ proves existence of naturals, now suppose that $S$ is a schema and that $T+...
3
votes
2answers
178 views

What are the minimal requirements for the definable hyperreal field plus transfer?

It is interesting that to prove the transfer principle for the definable hyperreal field, one requires no more choice than for proving, for instance, the countable additivity of the Lebesgue measure. ...
2
votes
1answer
240 views

Is there a model of ZF+ACC where transfer fails for the definable hyperreals?

In 2003 Kanovei and Shelah constructed a definable hyperreal field. The ultrapower used exploits a fairly large index set so that it is clear that the usual proof of Los and transfer does not go ...
2
votes
1answer
200 views

Transfer with minimal choice

Let FUF postulate the existence of a Free UltraFilter on $\mathbb{N}$ and ACC the axiom of countable choice. Consider the superstructure on $\mathbb{R}$ and its inclusion in the bounded ultrapower. ...
2
votes
1answer
135 views

Can there be a numerical system in which logarithms can be expressed in terms of exponentials in closed form?

The invention of complex numbers allowed to express trigonometric functions through hyperbolic ones in closed form. Is there possible an extension of real/complex numbers in which logarithms and ...
5
votes
0answers
695 views

What's Reeb's take on naive integers?

Georges Reeb's "claim Q" is the statement that "naive integers don't fill up $\mathbb{N}$". To anyone familiar with model theory this could easily be interpreted as the existence of nonstandard models ...
8
votes
1answer
527 views

Who said “the naive counting numbers don't exhaust $\Bbb N$”?

In the context of Robinson's framework, or more precisely its reformulation by Ed Nelson, one of the practitioners in the field expressed the sentiment something like "the naive counting numbers don't ...
2
votes
1answer
1k views

What is the modern consensus on the difficulty of infinitesimals?

At a related thread at MSE an expert in reverse mathematics noted that "As the modern consensus is that only nonstandard models have infinitesimals, it will be quite challenging to give a concrete ...
33
votes
9answers
9k views

What is… A Grossone? [closed]

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 ...
32
votes
5answers
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 ...
11
votes
3answers
722 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 ...
9
votes
1answer
420 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 ...
6
votes
2answers
446 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 ...
-11
votes
1answer
2k views

Non-standard numbers and exponential form of Zeta function [closed]

Basic idea For a long time I was looking for a numerical system that would allow to compare infinite sets. In contrast to Cantor's approach that empathizes the possibility of on-to-one correspondence ...
9
votes
1answer
465 views

Are there any standard analysis facts that can be proven or arrived only by means of non-archimedean extensions of reals and non-standard analysis?

I wonder whether non-standard analysis, non-archimedean extensions of reals such as surreal or hyperreal numbers can help us in obtaining standard-analytic results which are not possible to obtain by ...
1
vote
0answers
103 views

Obtaining graphics of functions in non-standard analysis [closed]

In the context of $R(\varepsilon)$ or more broad fields, Levi-Civita field or $No(\omega_1)$, how can we obtain the graphics of functions on the infinitesimal range? For instance, it is alleged that ...
0
votes
2answers
1k views

Are hyperreal numbers isomorphic to formal power series?

I wonder whether hyperreal numbers isomorphic with formal Laurent series? It seems that any hyperreal number can be represented in the form of Laurent series over $\omega$. For instance, $e^{\omega}=...
9
votes
2answers
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 ...
20
votes
2answers
2k 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 ...
7
votes
2answers
1k 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 ...
11
votes
1answer
362 views

Literature that helps explain what the theory of numerosities contributes with

Since 2003 a group of Italian mathematicians (Benci, Di Nasso and Forti) has developed a new measure for infinite sets that satisfies the Euclidian principle: The whole is greater than the part. The ...
3
votes
0answers
135 views

Berkovich Analytification of the transseries

I am looking for references to articles about the following subjects: Connections from the field of (real) transseries to the field of surreal numbers (mentioned very briefly in the introduction of ...
7
votes
2answers
727 views

Survey of the history of calculus?

Boyer 1939 is a nice readable survey of the history of the calculus, but it's showing its age. Discussing the notion of instantaneous velocity, he has: Mathematics knows no minimum interval of ...
6
votes
0answers
451 views

More information on Kruskal's treatment of Surreal numbers as an asymptotic behavior of a real valued function

The only way that I could think about Surreal numbers is how Conway defined them inductively, with the two axioms and so on. I can't find any information about Kruskal's point of view and would very ...
9
votes
3answers
472 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 \...
11
votes
3answers
665 views

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

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, $\...
3
votes
2answers
380 views

Is there a source linking Robinson's work in wing theory with his theory of infinitesimals?

Abraham Robinson worked in applied mathematics for several decades. MathSciNet lists 12 articles by Robinson in wing theory. His production included the book Robinson, A.; Laurmann, J. A. Wing theory....
3
votes
1answer
245 views

A stronger version of supramenability?

A group $G$ is supramenable iff for all $\varnothing\ne A\subseteq G$ there is a finitely-additive left-$G$-invariant measure $\mu_A$ on $G$ with $\mu_A(A)=1$. I'm interested in a seemingly stronger ...
3
votes
0answers
440 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 "...
16
votes
2answers
690 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 ...
12
votes
1answer
818 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 so,...
6
votes
1answer
982 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 ...
21
votes
2answers
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 ...