Search Results
| 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 nonstandard-analysis
Search options not deleted
user 1946
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.
17
votes
2
answers
2k
views
Do the surreal numbers enjoy the transfer principle in ZFC?
The surreal field $\newcommand\No{№}\No$ is definable in ZFC, and it is easy to see that the surreal order is $\kappa$-saturated for every cardinal $\kappa$, precisely because we fill any specified ga …
- 236k
8
votes
In hyperreal field, can ln(ε) and ln(ω) be expressed as infinite sums?
To help avoid any misunderstanding that may arise for readers of this question, let me say that when understood in the usual sense, there are no nontrivial convergent sequences or series at all in the …
- 236k
45
votes
Accepted
Does every series of hyperreal numbers converge to some hyperreal number?
The answer is strongly negative.
Arbitrary extensions. The first thing to say is that whenever one extends $\newcommand\R{\mathbb{R}}\R$ to a larger ordered field $F$, one has immediately destroyed (e …
- 236k
4
votes
Turing degree of a turing machine with access to an (arbitrary) nonstandard integer
I shall give two different interpretations of the question. (The second interpretation using true arithmetic is modified in this update.)
Using arbitrary nonstandard models of PA. Let us say that a T …
- 236k
7
votes
1
answer
562
views
Are the definable hyper-reals, using quantifiers only over the standard reals and natural nu...
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 …
- 236k
10
votes
Automorphisms of the hyperreals over the rationals and nontrivial automorphism groups
As a general principle, every first-order theory with infinite models, such as the theory of real-closed fields, will have models with rich automorphism groups.
The general reason is that one can ta …
- 236k
2
votes
Compactness and omega models
There is no property of $T$ alone that will ensure that $T+S$ always has an $\omega$ model in the circumstances you describe. In fact, there is no computably axiomatizable theory $T$ with the property …
- 236k
29
votes
Accepted
What are the advantages of the more abstract approaches to nonstandard analysis?
To my way of thinking, there are at least three distinct
perspectives one can naturally take on when undertaking work in
nonstandard analysis. In addition, each of these perspectives can
be varied on …
- 236k
3
votes
"Lebesgue-measurable" cardinals and real-closed fields
You say that $\kappa$ admits a $[0,1]$-valued measure, but actually, it is a $\{0,1\}$-valued measure; every subset of $\kappa$ has measure $0$ or $1$. If I am understanding your suggestion, you inten …
- 236k
12
votes
Are hyperreal numbers isomorphic to formal power series?
I would like to point out that it is not true that every every
hyperreal can be represented by a Laurent series in the way you
describe.
(Let me assume that by the term "hyperreals", you mean a
nonst …
- 236k
31
votes
Accepted
Is non-existence of the hyperreals consistent with ZF?
The answer is yes, provided ZF itself is consistent. The reason is that the existence of the hyperreals, in a context with the transfer principle, implies that there is a nonprincipal ultrafilter on $ …
- 236k
10
votes
Accepted
Surreal numbers, ultrapowers of $\Bbb R$, ordinal-valued functions and the slow-growing hier...
This kind of analysis is very well understood in ultrapowers, and one often sees this kind of thinking with ultrapowers, where one performs calculations with the representing function for an object. W …
- 236k
31
votes
Why does CH imply that there is a unique ultrapower of $\mathbb{N}$?
The point is that the ultrapower of any structure $\mathcal{M}$ by
a nonprincipal ultrafilter $\mu$ on $\mathbb{N}$ is countably
saturated, that is, it realizes any finitely satisfiable $n$-type with …
- 236k
6
votes
tennenbaum phenomena for the reals?
This is a very interesting question!
One way to interpret the question is like this: we have the structure
$\langle\mathbb{R},{+},{\cdot},{\lt}\rangle$, which is a real-closed field, and Tarski prove …
- 236k
5
votes
Accepted
Star-transfer of powerset
$\cal{P}({}^\ast\mathbb{R})$ is the full standard power set of the nonstandard reals, the set of all subsets of ${}^\ast\mathbb{R}$. This power set includes the subsets consisting solely of infinites …
- 236k