After briefly considering the ancient Greek and nineteenth-century history of incommensurables (magnitudes that do not have a common aliquot part) and incomparables (magnitudes such that the larger can never be surpassed by any finite number of additions of the smaller to itself), this paper undertakes two tasks. The first task is to consider whether the numerical accommodation of incommensurables by means of the extension of the ordered field of rational numbers to the field of reals is `similar' or analogous to (...) the numerical accommodation of incomparables by means of the extension of the ordered field of reals to the field of hyperreals. The second task is to evaluate several contemporary attempts to use concepts and techniques of the nonstandard mathematics of hyperreals to address classical, Zenonian puzzles concerning continuous magnitudes. The result of both these undertakings is, in a certain sense, `deflationary'. (shrink)

In this article we show how the universe of BST, bounded set theory can be enlarged by definable subclasses of sets so that Separation and Replacement are true in the enlargement for all formulas, including those in which the standardness predicate may occur. Thus BST is strong enough to incorporate external sets in the internal universe in a way sufficient to develop topics in nonstandard analysis inaccessible in the framework of a purely internal approach, such as Loeb measures.

In continuation of our study of HST, Hrbaek set theory (a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the st--language, and Saturation for well-orderable families of internal sets), we consider the problem of existence of elementary extensions of inner "external" subclasses of the HST universe.We show that, given a standard cardinal , any set R * generates an "internal" class S(R) of all sets standard relatively to elements of R, and an "external" class (...) L[S(R)] of all sets constructible (in a sense close to the Gödel constructibility) from sets in S(R). We prove that under some mild saturation-like requirements for R the class L[S(R)] models a certain -version of HST including the principle of +-saturation; moreover, in this case L[S(R)] is an elementary extension of L[S(R)] in the st--language whenever sets R R satisfy the requirements. (shrink)

Mathematicians justify axioms of set theory “intrinsically”, by reference to the universe of sets of their intuition, and “extrinsically”, for example, by considerations of simplicity or usefullness for mathematical practice. Here we apply the same kind of justifications to Nonstandard Analysis and argue for acceptance of BNST+ . BNST+ has nontrivial consequences for standard set theory; for example, it implies existence of inner models with measurable cardinals. We also consider how to practice Nonstandard Analysis in BNST+, and compare it with (...) other existing nonstandard set theories. (shrink)