Lectures on the Hyperreals: An Introduction to Nonstandard Analysis (Hardcover, 1998)

I Foundations.- 1 What Are the Hyperreals?.- 1.1 Infinitely Small and Large.- 1.2 Historical Background.- 1.3 What Is a Real Number?.- 1.4 Historical References.- 2 Large Sets.- 2.1 Infinitesimals as Variable Quantities.- 2.2 Largeness.- 2.3 Filters.- 2.4 Examples of Filters.- 2.5 Facts About Filters.- 2.6 Zorn's Lemma.- 2.7 Exercises on Filters.- 3 Ultrapower Construction of the Hyperreals.- 3.1 The Ring of Real-Valued Sequences.- 3.2 Equivalence Modulo an Ultrafilter.- 3.3 Exercises on Almost-Everywhere Agreement.- 3.4 A Suggestive Logical Notation.- 3.5 Exercises on Statement Values.- 3.6 The Ultrapower.- 3.7 Including the Reals in the Hyperreals.- 3.8 Infinitesimals and Unlimited Numbers.- 3.9 Enlarging Sets.- 3.10 Exercises on Enlargement.- 3.11 Extending Functions.- 3.12 Exercises on Extensions.- 3.13 Partial Functions and Hypersequences.- 3.14 Enlarging Relations.- 3.15 Exercises on Enlarged Relations.- 3.16 Is the Hyperreal System Unique?.- 4 The Transfer Principle.- 4.1 Transforming Statements.- 4.2 Relational Structures.- 4.3 The Language of a Relational Structure.- 4.4 -Transforms.- 4.5 The Transfer Principle.- 4.6 Justifying Transfer.- 4.7 Extending Transfer.- 5 Hyperreals Great and Small.- 5.1 (Un)limited, Infinitesimal, and Appreciable Numbers.- 5.2 Arithmetic of Hyperreals.- 5.3 On the Use of "Finite" and "Infinite".- 5.4 Halos, Galaxies, and Real Comparisons.- 5.5 Exercises on Halos and Galaxies.- 5.6 Shadows.- 5.7 Exercises on Infinite Closeness.- 5.8 Shadows and Completeness.- 5.9 Exercise on Dedekind Completeness.- 5.10 The Hypernaturals.- 5.11 Exercises on Hyperintegers and Primes.- 5.12 On the Existence of Infinitely Many Primes.- II Basic Analysis.- 6 Convergence of Sequences and Series.- 6.1 Convergence.- 6.2 Monotone Convergence.- 6.3 Limits.- 6.4 Boundedness and Divergence.- 6.5 Cauchy Sequences.- 6.6 Cluster Points.- 6.7 Exercises on Limits and Cluster Points.- 6.8 Limits Superior and Inferior.- 6.9 Exercises on lim sup and lim inf.- 6.10 Series.- 6.11 Exercises on Convergence of Series.- 7 Continuous Functions.- 7.1 Cauchy's Account of Continuity.- 7.2 Continuity of the Sine Function.- 7.3 Limits of Functions.- 7.4 Exercises on Limits.- 7.5 The Intermediate Value Theorem.- 7.6 The Extreme Value Theorem.- 7.7 Uniform Continuity.- 7.8 Exercises on Uniform Continuity.- 7.9 Contraction Mappings and Fixed Points.- 7.10 A First Look at Permanence.- 7.11 Exercises on Permanence of Functions.- 7.12 Sequences of Functions.- 7.13 Continuity of a Uniform Limit.- 7.14 Continuity in the Extended Hypersequence.- 7.15 Was Cauchy Right?.- 8 Differentiation.- 8.1 The Derivative.- 8.2 Increments and Differentials.- 8.3 Rules for Derivatives.- 8.4 Chain Rule.- 8.5 Critical Point Theorem.- 8.6 Inverse Function Theorem.- 8.7 Partial Derivatives.- 8.8 Exercises on Partial Derivatives.- 8.9 Taylor Series.- 8.10 Incremental Approximation by Taylor's Formula.- 8.11 Extending the Incremental Equation.- 8.12 Exercises on Increments and Derivatives.- 9 The Riemann Integral.- 9.1 Riemann Sums.- 9.2 The Integral as the Shadow of Riemann Sums.- 9.3 Standard Properties of the Integral.- 9.4 Differentiating the Area Function.- 9.5 Exercise on Average Function Values.- 10 Topology of the Reals.- 10.1 Interior, Closure, and Limit Points.- 10.2 Open and Closed Sets.- 10.3 Compactness.- 10.4 Compactness and (Uniform) Continuity.- 10.5 Topologies on the Hyperreals.- III Internal and External Entities.- 11 Internal and External Sets.- 11.1 Internal Sets.- 11.2 Algebra of Internal Sets.- 11.3 Internal Least Number Principle and Induction.- 11.4 The Overflow Principle.- 11.5 Internal Order-Completeness.- 11.6 External Sets.- 11.7 Defining Internal Sets.- 11.8 The Underflow Principle.- 11.9 Internal Sets and Permanence.- 11.10 Saturation of Internal Sets.- 11.11 Saturation Creates Nonstandard Entities.- 11.12 The Size of an Internal Set.- 11.13 Closure of the Shadow of an Internal Set.- 11.14 Interval Topology and Hyper-Open Sets.- 12 Inter