These exercises (due September 28) are mostly meant to test your understanding of compactness.

Let be a nonstandard model of Show:

(Overspill) Suppose that is definable (with parameters) and that Show that is finite.

(Underspill) Suppose that is definable and that Show that there is some infinite such that all the elements of are larger than

Let be a nonstandard model of Here, is treated as a relation, and in we may have placed whatever functions and relations we may have need to reference in what follows; moreover, we assume that in our language we have a constant symbol for each real number. (Of course, this means that we are lifting the restriction that languages are countable.) To ease notation, let’s write for The convention is that we identify actual reals in with their copies in so we write rather than etc.

Show that is a nonstandard model of the theory of problem 1. (In particular, check that the indicated restrictions of and have range contained in )

A (nonstandard) real is finite iff there is some (finite) natural number such that Otherwise, it is infinite. A (nonstandard) real is infinitesimal iff but for all positive (finite) natural numbers one has that We write to mean that either is infinitesimal, or else it is Show that infinite and infinitesimal numbers exist. The monad of a real is the set of all such that which we may also write as and say that and are infinitesimally close. Show that the relation is an equivalence relation. Show that if a monad contains an actual real number, then this number is unique. Show that this is the case precisely if it is the monad of a finite number. In this case, write to indicate that the (actual) real is in the monad of We also say that is the standard part of

Show that a function is continuous at a real iff for all infinitesimal numbers

Suppose that is continuous on the closed interval Argue as follows to show that attains its maximum: For each positive integer there is some integer with such that Conclude that the same holds if is some infinite natural number, i.e., there is some (perhaps infinite) “natural number” with such that Let and argue that the maximum of is attained at

This entry was posted on Saturday, September 19th, 2009 at 12:46 pm and is filed under 502: Logic and set theory. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

Given a language and an -structure a set is definable iff there is a formula with (distinct) free variables and there are elements such that, letting be the set of assignments such that for then for all with

In human: is definable iff it is the set of elements of that satisfy some formula. We allow said formula to use parameters, i.e., to refer to some fixed elements of

Type ‘latex’ immediately following the dollar sign, leave a space, and then the math text as you’d do in latex usually. See this announcement for more info.

The wordpress people tweak with the way latex is compiled every now and then, so sometimes strange errors that were not there before appear; but it works pretty decently, and it is getting better. (There seem to be a few silly things still: you want to write {} right before a [ if this is the first symbol in a math display, for example.)

Luca Trevisan devised a nice program, LaTeX2WP, to make the use of in WordPress pleasant rather than traumatic; I use it whenever I have a long post.

Now my concern is: If 0 is not an infinitesimal, then is reflexive. Namely, if then . That is, for all positive . But . So, cannot be infinitesimal. What am I missing here?

Georgii: Let me start with some brief remarks. In a series of three papers: a. Wacław Sierpiński, "Contribution à la théorie des séries divergentes", Comp. Rend. Soc. Sci. Varsovie 3 (1910) 89–93 (in Polish). b. Wacław Sierpiński, "Remarque sur la théorème de Riemann relatif aux séries semi-convergentes", Prac. Mat. Fiz. XXI (1910) 17–20 […]

It is not possible to provide an explicit expression for a non-linear solution. The reason is that (it is a folklore result that) an additive $f:{\mathbb R}\to{\mathbb R}$ is linear iff it is measurable. (This result can be found in a variety of places, it is a standard exercise in measure theory books. As of this writing, there is a short proof here (Intern […]

Stefan, "low" cardinalities do not change by passing from $L({\mathbb R})$ to $L({\mathbb R})[{\mathcal U}]$, so the answer to the second question is that the existence of a nonprincipal ultrafilter does not imply the existence of a Vitali set. More precisely: Assume determinacy in $L({\mathbb R})$. Then $2^\omega/E_0$ is a successor cardinal to ${ […]

Marginalia to a theorem of Silver (see also this link) by Keith I. Devlin and R. B. Jensen, 1975. A humble title and yet, undoubtedly, one of the most important papers of all time in set theory.

Given a positive integer $a$, the Ramsey number $R(a)$ is the least $n$ such that whenever the edges of the complete graph $K_n$ are colored using only two colors, we necessarily have a copy of $K_a$ with all its edges of the same color. For example, $R(3)= 6$, which is usually stated by saying that in a party of 6 people, necessarily there are 3 that know e […]

Equality is part of the background (first-order) logic, so it is included, but there is no need to mention it. The situation is the same in many other theories. If you want to work in a language without equality, on the other hand, then this is mentioned explicitly. It is true that from extensionality (and logical axioms), one can prove that two sets are equ […]

$L$ has such a nice canonical structure that one can use it to define a global well-ordering. That is, there is a formula $\phi(u,v)$ that (provably in $\mathsf{ZF}$) well-orders all of $L$, so that its restriction to any specific set $A$ in $L$ is a set well-ordering of $A$. The well-ordering $\varphi$ you are asking about can be obtained as the restriction […]

Gödel sentences are by construction $\Pi^0_1$ statements, that is, they have the form "for all $n$ ...", where ... is a recursive statement (think "a statement that a computer can decide"). For instance, the typical Gödel sentence for a system $T$ coming from the second incompleteness theorem says that "for all $n$ that code a proof […]

When I first saw the question, I remembered there was a proof on MO using Ramsey theory, but couldn't remember how the argument went, so I came up with the following, that I first posted as a comment: A cute proof using Schur's theorem: Fix $a$ in your semigroup $S$, and color $n$ and $m$ with the same color whenever $a^n=a^m$. By Schur's theo […]

It depends on what you are doing. I assume by lower level you really mean high level, or general, or 2-digit class. In that case, 54 is general topology, 26 is real functions, 03 is mathematical logic and foundations. "Point-set topology" most likely refers to the stuff in 54, or to the theory of Baire functions, as in 26A21, or to descriptive set […]

What was the precise definition of “definable” again. I can’t find it in the book anywhere.

Given a language and an -structure a set is

definableiff there is a formula with (distinct) free variables and there are elements such that, letting be the set of assignments such that for then for all withIn human: is definable iff it is the set of elements of that satisfy some formula. We allow said formula to use parameters, i.e., to refer to some fixed elements of

Thanks.

Is 0 considered an infinitesimal? By the definition above, 0 would be, but I always thought it was otherwise.

Ah, you are right! I’ve modified the text accordingly.

Making infinitesimals different from 0 now forces us to change slightly the definition of so I’ve done that as well.

Thank you. It’s clear now.

Also, how do you get LaTex to work on your blog? I noticed that you got the approximation symbol to show, but when I tried approx it didn’t work

Type ‘latex’ immediately following the dollar sign, leave a space, and then the math text as you’d do in latex usually. See this announcement for more info.

The wordpress people tweak with the way latex is compiled every now and then, so sometimes strange errors that were not there before appear; but it works pretty decently, and it is getting better. (There seem to be a few silly things still: you want to write {} right before a [ if this is the first symbol in a math display, for example.)

Luca Trevisan devised a nice program, LaTeX2WP, to make the use of in WordPress pleasant rather than traumatic; I use it whenever I have a long post.

Now my concern is: If 0 is not an infinitesimal, then is reflexive. Namely, if then . That is, for all positive . But . So, cannot be infinitesimal. What am I missing here?

[Addressed by the revised definition. -A.]