Relationship between nonstandard analysis and nonstandard models of arithmetic

This is not going to work because the hyperreal field ${}^\ast\mathbb R$ is not Dedekind-complete. Also, since the nonstandard models of arithmetic a la Skolem are constructed in ZF, a canonical procedure (not relying on any version of Choice) such as taking the Dedekind completion is not going to work, since it is known that some version of AC is required to specify an ${}^\ast \mathbb R$ with the required properties.


In my understanding of the topic, the hard problem is determining what the internal sets should be.

The better framework for the problem is to take as a starting point a nonstandard model of set theory (whether ZFC or something more like ETCS), rather than merely a nonstandard model of arithmetic.

Since it's a nonstandard model of set theory, you can do all of the usual things internally, such as construct its set of real numbers via (internal) Dedekind cuts of its set of rational numbers.

My impression is that there cannot be a good way to start from a model of arithmetic and generate a universe of sets with the property that the given model of arithmetic corresponds to its set of natural numbers. But I'm nowhere near an expert on that sort of question.

Tags:

Logic

Model Theory

Nonstandard Analysis

Nonstandard Models

Related

What is the original source of "fiber" in mathematics? What is the total number of study schedules for a seven day period for four subjects where each subject is allotted at least one day? Book recommendation about mathematics Show that $\sum\limits_{n=1}^{\infty}\frac{(H_{n})^2}{n(n+1)}=3\zeta(3)$, where, for every positive $n$, $H_n=\sum\limits_{k=1}^n\frac1k$ Tough Combinatorics Question (possibly related to Stirling numbers) A number with an interesting property. $abcd=a^b c^d$ Is the Fundamental Groupoid a Bicategory? How do you Evaluate $\int_{-\infty}^\infty \frac{\cos(x)}{x^2+1}dx$ Without Using Residue Calculus how to take the natural log of a product ($\prod$) What has flipping a coin to do with $\int_0^{2 \pi}\sin^{2n}(x)\,dx$? Is it okay to "ignore" small numbers in limits where $x$ approaches infinity? For function $f:[0,1]\rightarrow \Bbb R$ we know : $f(x+y)\geq f(x)+f(y)$.Prove that $f(x)\leq 2x$

Recent Posts