DOCSLIB.ORG

Zfcω: a Nonstandard Set Theory Where All Sets Have Nonstandard Extensions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Zfcω: a Nonstandard Set Theory Where All Sets Have Nonstandard Extensions ZFCΩ: A NONSTANDARD SET THEORY WHERE ALL SETS HAVE NONSTANDARD EXTENSIONS MAMLS at CCNY December 2nd, 2000 Mauro Di Nasso Universit`a di Pisa, Italy and CityCollege/CUNY email: [email protected] 1 Foundations of Nonstandard Methods AXIOMATIC SET THEORIES: Include nonstandard methods within a uni- fied general axiomatic system for mathe- matics. ELEMENTARY PRESENTATIONS: Provide “elementary” introductions to non- standard analysis which avoid (as far as possible) technical notions from mathemat- ical logic. 2 Superstructure Approach • A standard universe, namelya super- structure V (X)=∪n∈N Vn(X) where V0(X)=X and Vn+1(X)=P(Vn(X)). X contains a copyof N. • A nonstandard universe V (Y ). • A nonstandard embedding ∗ : V (X) → V (Y ) (i) ∗X = Y (typically ∗x = x for all x ∈ X) (ii) Transfer principle: ∗ preserves all “elementary” properties. (iii) N is a proper subset of ∗N. 3 In the nonstandard universe: • x is standard if x = ∗y for some y. • x is internal if x ∈ ∗y for some y. • x is external if x is NOT internal. By transfer: “Every(nonempty)bounded subset of N has a greatest element” ⇐⇒ “Every(nonempty) A ∈ ∗P(N) has a greatest element”. Hence N is external. 4 • κ-saturation (κ an infinite cardinal): If |F| <κis a familyof internal sets with the finite intersection propertyFIP (i.e. ∩F = ∅ for all finite F ⊆F) then ∩F = ∅. Whyonlythefinite levels in the hierarchy ? If ω is in the standard model, then ∗ω is NOT wellfounded. Why ∗ is only a bounded elemen- tary embedding ? Otherwise, transfer the following: “∀x ∈ N ∃Ax ∃f :[0,x] →Ax, ∈ iso- morphism of ordered structures”. For any ∗ infinite ξ ∈ N, the corresponding Aξ is NOT wellfounded. Give up the regularity axiom. 5 Limitations of the Superstructure Approach • In principle, nonstandard methods are NOT related to the notion of cumula- tive hierarchy. • Different superstructures are needed for different problems. • Superstructures onlymodel a fragment of ZFC. • Transfer is formulated byusing the tech- nical notion of bounded elementaryem- bedding. • Onlya limited amount of saturation is available NONSTANDARD SET THEORIES: Axiomatize nonstandard methods in the full generalityof set theory. 6 Internal viewpoint Independentlyintroduced byKarel Hrb`a˘cek and Edward Nelson in the 70’s. • Use the standardness predicate st and the internalness predicate int. Infinitesimals and other idealized objects are alreadythere. S = {x : st(x)}; I = {x : int(x)} S is a proper subset of I. • TRANSFER For each ∈-formula ϕ and x1,...,xn ∈ S: S I ϕ (x1,...,xn) ⇐⇒ ϕ (x1,...,xn) • SATURATION (Idealization) 7 External viewpoint Original view of Abraham Robinson. ∗ : V → M • Everyobject A in the standard uni- verse V has a “nonstandard” exten- sion ∗A ∈ M in the nonstandard uni- verse M: S = {∗x : x ∈ V} I = {y : ∃x ∈ V with y ∈ ∗x} S is a proper subset of I. • TRANSFER For each (bounded) ∈-formula ϕ and x1,...,xn ∈ V: V M ∗ ∗ ϕ (x1,...,xn) ⇐⇒ ϕ ( x1,..., xn) • κ-SATURATION (for a suitable κ) 8 What properties a nonstandard set theory NST should satisfy? • All principles of mathematics ZFC− (without regularity). • Transfer principle for all sets of ordi- narymathematics ( TP). • Unlimited levels of saturation (US). HRBA` CEK’s˘ paradox. ZFC− + TP + US =⇒ ∗A is a proper class for each infinite A. Proof. Consider the familyof internal sets F = {∗A \{ξ} : ξ ∈ A} and apply saturation. 9 Nelson’s Internal Set Theory IST The paradox is avoided because all sets are internal. There is no external notion of cardinality. Hrb`a˘cek’s NS1 and NS2 • TP + US +ZFC− except powerset and choice, is a conservative extension of ZFC. • TP + US +ZFC− except replace- ment, is a conservative extension of ZFC. 10 Motivations in formulating NST “FORMALISTIC” VIEW: Nonstandard methods are “short-cuts” for standard methods. “REALISTIC” VIEW: Look for axioms which are true in the “real” world. • In the “real” world, ZFC− holds, with separation and collection for all formu- las in the extended language. E.g. standardization should be true: ∀X oX = {x ∈ X : ∃yx= ∗y} is a set • In the “real” world, unlimited levels of saturation are available. 11 Research in nonstandard set theories can be seen as an attempt to answer the following question: How to avoid Hrb`a˘cek’s paradox? A (partial) list of proposals: Nelson’s Internal Set Theory IST; Hrb`a˘cek’s Nonstandard Set Theories NS1, NS2 and NS3; Kawai’s Nonstandard Set Theory NST; Fletcher’s Stratified Nonstandard Set Theory SNST; Ballard’s Enlargement Set Theory EST; Zermelo-Fraenkel-Boffa ZFBC, proposed byBal- lard and Hrb`ac˘cek; Kanovei-Reeken’s Bounded Set Theory BST and Hrb`a˘cekSet Theory HST; P´eraire’s Relative Set Theory RST; Di Nasso’s ∗ZFC; Gordon-Andreyev Nonstandard Class Theory NCT; etc. .... 12 ∗ZFC • ZFC−, where separation and replace- ment are assumed for all ∈-∗-formulas (∗ is a new symbol). • The nonstandard embedding ∗ : S → I is defined for all wellfounded sets, that is the standard universe is S = WF. • κ-saturation for all ∈-definable cardi- nals. Theorem. Let ϕ be any ∈-formula. Assume that κ-saturation ⇒ ϕS(x) for all x ∈ S with |x| <κ.ThenϕS(x) for all x ∈ S. Proof. Bycontradiction, let κ =min{|x| : x ∈ S and ¬ϕS(x)} 13 κ is ∈-definable, thus κ+-saturation im- plies ϕS(x) for all standard |x|≤κ,a contradiction. Example. A typical proof in nonstan- dard analysis shows that: “If |X|+-saturation holds and X is the topological product of a familyof compact spaces, then X is compact”. As a consequence, ∗ZFC proves Tychonov’s theorem for all topological products X. Theorem. Every model A |= ZFC has an elemen- tary end extension A ≺e A such that A =(WF)B for some B |= ∗ZFC. Corollary. For any ∈-sentence σ: ZFC σ ⇔ ∗ZFC σWF 14 We want more: • Nonstandard methods should be applied to all objects of mathematics (not only to the standard ones). • κ-saturation should be available for each fixed κ. • A presentation to nonstandard analy- sis should be possible in truly“elemen- tary” terms. 15 ZFCΩ • ZFC− where separation and collection are assumed for all ∈-Ω-formulas (Ω is a new symbol). • Ω is a function defined on the class of sequences, i.e. on the class of those functions f whose domain is an infinite cardinal κ. For κ-sequences, denote byΩ( f)=f(ακ). • If f is a sequence of nonemptysets: f(ακ)={g(αk):g(i) ∈ f(i) for all i} 16 • Point-wise unions and intersections are preserved byΩ, i.e. 1. f(i)=g(i) ∪ h(i) for all i ⇒ f(ακ)=g(ακ) ∪ h(ακ); 2. f(i)=g(i) ∩ h(i) for all i ⇒ f(ακ)=g(ακ) ∩ h(ακ). • If f(ακ)=g(ακ)then (ϕ ◦ f)(ακ)=(ϕ ◦ g)(ακ) (provided such compositions are defined) Call κ-internal anyelement of the form f(ακ), and denote by Iκ the collection of κ-internal sets. • κ-saturation: If |F| ≤ κ is a familyof κ-internal sets with the FIP, then ∩F = ∅. 17 Define Jκ(A)={f(ακ):f : κ → A}, the κ-nonstandard embedding. Theorem. + For each κ, Jκ : V → Iκ is a κ -saturated bounded elementary embedding of the uni- versal class of all sets V. If we also assume the following minimal- ity axiom,thenJκ is fully elementary. • Minimality Axiom Everyset is obtained from the empty- set bytransfinite iterations of the pow- erset and nonstandard extension oper- ations. That is V = ∪αWα where W0 = ∅; Wα+1 = P( ∪κ≤α Jκ(Wα) ∪ Wα); Wλ = ∪α<λWα if λ limit. 18 Theorem. Every model A |= ZFC is the wellfounded part A = WFB of some B |= ZFCΩ. Corollary. For any ∈-sentence σ: ZFC σ ⇔ ZFCΩ σWF If we reduce to countable sequences, we get the Alpha-Theory, a truly“elemen- tary” approach to nonstandard analysis which, in principle, can even be suitable at the freshman level. References: M. Di Nasso, On the foundations of nonstan- dard mathematics, Mathematica Japonica, vol.50, 1999, pp. 131-160. V. Benci and M. Di Nasso, The Alpha- Theory: a truly elementary axiomatic approach to nonstandard analysis, submitted. 19.
Load more

Recommended publications
  • An Introduction to Nonstandard Analysis 11
    AN INTRODUCTION TO NONSTANDARD ANALYSIS ISAAC DAVIS Abstract. In this paper we give an introduction to nonstandard analysis, starting with an ultrapower construction of the hyperreals. We then demon- strate how theorems in standard analysis \transfer over" to nonstandard anal- ysis, and how theorems in standard analysis can be proven using theorems in nonstandard analysis. 1. Introduction For many centuries, early mathematicians and physicists would solve problems by considering infinitesimally small pieces of a shape, or movement along a path by an infinitesimal amount. Archimedes derived the formula for the area of a circle by thinking of a circle as a polygon with infinitely many infinitesimal sides [1]. In particular, the construction of calculus was first motivated by this intuitive notion of infinitesimal change. G.W. Leibniz's derivation of calculus made extensive use of “infinitesimal” numbers, which were both nonzero but small enough to add to any real number without changing it noticeably. Although intuitively clear, infinitesi- mals were ultimately rejected as mathematically unsound, and were replaced with the common -δ method of computing limits and derivatives. However, in 1960 Abraham Robinson developed nonstandard analysis, in which the reals are rigor- ously extended to include infinitesimal numbers and infinite numbers; this new extended field is called the field of hyperreal numbers. The goal was to create a system of analysis that was more intuitively appealing than standard analysis but without losing any of the rigor of standard analysis. In this paper, we will explore the construction and various uses of nonstandard analysis. In section 2 we will introduce the notion of an ultrafilter, which will allow us to do a typical ultrapower construction of the hyperreal numbers.
    [Show full text]
  • Actual Infinitesimals in Leibniz's Early Thought
    Actual Infinitesimals in Leibniz’s Early Thought By RICHARD T. W. ARTHUR (HAMILTON, ONTARIO) Abstract Before establishing his mature interpretation of infinitesimals as fictions, Gottfried Leibniz had advocated their existence as actually existing entities in the continuum. In this paper I trace the development of these early attempts, distinguishing three distinct phases in his interpretation of infinitesimals prior to his adopting a fictionalist interpretation: (i) (1669) the continuum consists of assignable points separated by unassignable gaps; (ii) (1670-71) the continuum is composed of an infinity of indivisible points, or parts smaller than any assignable, with no gaps between them; (iii) (1672- 75) a continuous line is composed not of points but of infinitely many infinitesimal lines, each of which is divisible and proportional to a generating motion at an instant (conatus). In 1676, finally, Leibniz ceased to regard infinitesimals as actual, opting instead for an interpretation of them as fictitious entities which may be used as compendia loquendi to abbreviate mathematical reasonings. Introduction Gottfried Leibniz’s views on the status of infinitesimals are very subtle, and have led commentators to a variety of different interpretations. There is no proper common consensus, although the following may serve as a summary of received opinion: Leibniz developed the infinitesimal calculus in 1675-76, but during the ensuing twenty years was content to refine its techniques and explore the richness of its applications in co-operation with Johann and Jakob Bernoulli, Pierre Varignon, de l’Hospital and others, without worrying about the ontic status of infinitesimals. Only after the criticisms of Bernard Nieuwentijt and Michel Rolle did he turn himself to the question of the foundations of the calculus and 2 Richard T.
    [Show full text]
  • 0.999… = 1 an Infinitesimal Explanation Bryan Dawson
    0 1 2 0.9999999999999999 0.999… = 1 An Infinitesimal Explanation Bryan Dawson know the proofs, but I still don’t What exactly does that mean? Just as real num- believe it.” Those words were uttered bers have decimal expansions, with one digit for each to me by a very good undergraduate integer power of 10, so do hyperreal numbers. But the mathematics major regarding hyperreals contain “infinite integers,” so there are digits This fact is possibly the most-argued- representing not just (the 237th digit past “Iabout result of arithmetic, one that can evoke great the decimal point) and (the 12,598th digit), passion. But why? but also (the Yth digit past the decimal point), According to Robert Ely [2] (see also Tall and where is a negative infinite hyperreal integer. Vinner [4]), the answer for some students lies in their We have four 0s followed by a 1 in intuition about the infinitely small: While they may the fifth decimal place, and also where understand that the difference between and 1 is represents zeros, followed by a 1 in the Yth less than any positive real number, they still perceive a decimal place. (Since we’ll see later that not all infinite nonzero but infinitely small difference—an infinitesimal hyperreal integers are equal, a more precise, but also difference—between the two. And it’s not just uglier, notation would be students; most professional mathematicians have not or formally studied infinitesimals and their larger setting, the hyperreal numbers, and as a result sometimes Confused? Perhaps a little background information wonder .
    [Show full text]
  • Connes on the Role of Hyperreals in Mathematics
    Found Sci DOI 10.1007/s10699-012-9316-5 Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics Vladimir Kanovei · Mikhail G. Katz · Thomas Mormann © Springer Science+Business Media Dordrecht 2012 Abstract We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in func- tional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S, all definable sets of reals are Lebesgue measurable, suggesting that Connes views a theory as being “vir- tual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnera- ble to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace − (featured on the front cover of Connes’ magnum opus) V.
    [Show full text]
  • Isomorphism Property in Nonstandard Extensions of the ZFC Universe'
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector ANNALS OF PURE AND APPLIED LOGIC Annals of Pure and Applied Logic 88 (1997) l-25 Isomorphism property in nonstandard extensions of the ZFC universe’ Vladimir Kanoveia, *,2, Michael Reekenb aDepartment of Mathematics, Moscow Transport Engineering Institute, Obraztsova 15, Moscow 101475, Russia b Fachbereich Mathematik. Bergische Universitiit GHS Wuppertal, Gauss Strasse 20, Wuppertal 42097, Germany Received 27 April 1996; received in revised form 5 February 1997; accepted 6 February 1997 Communicated by T. Jech Abstract We study models of HST (a nonstandard set theory which includes, in particular, the Re- placement and Separation schemata of ZFC in the language containing the membership and standardness predicates, and Saturation for well-orderable families of internal sets). This theory admits an adequate formulation of the isomorphism property IP, which postulates that any two elementarily equivalent internally presented structures of a well-orderable language are isomor- phic. We prove that IP is independent of HST (using the class of all sets constructible from internal sets) and consistent with HST (using generic extensions of a constructible model of HST by a sufficient number of generic isomorphisms). Keywords: Isomorphism property; Nonstandard set theory; Constructibility; Generic extensions 0. Introduction This article is a continuation of the authors’ series of papers [12-151 devoted to set theoretic foundations of nonstandard mathematics. Our aim is to accomodate an * Corresponding author. E-mail: [email protected]. ’ Expanded version of a talk presented at the Edinburg Meeting on Nonstandard Analysis (Edinburg, August 1996).
    [Show full text]
  • Lecture 25: Ultraproducts
    LECTURE 25: ULTRAPRODUCTS CALEB STANFORD First, recall that given a collection of sets and an ultrafilter on the index set, we formed an ultraproduct of those sets. It is important to think of the ultraproduct as a set-theoretic construction rather than a model- theoretic construction, in the sense that it is a product of sets rather than a product of structures. I.e., if Xi Q are sets for i = 1; 2; 3;:::, then Xi=U is another set. The set we use does not depend on what constant, function, and relation symbols may exist and have interpretations in Xi. (There are of course profound model-theoretic consequences of this, but the underlying construction is a way of turning a collection of sets into a new set, and doesn't make use of any notions from model theory!) We are interested in the particular case where the index set is N and where there is a set X such that Q Xi = X for all i. Then Xi=U is written XN=U, and is called the ultrapower of X by U. From now on, we will consider the ultrafilter to be a fixed nonprincipal ultrafilter, and will just consider the ultrapower of X to be the ultrapower by this fixed ultrafilter. It doesn't matter which one we pick, in the sense that none of our results will require anything from U beyond its nonprincipality. The ultrapower has two important properties. The first of these is the Transfer Principle. The second is @0-saturation. 1. The Transfer Principle Let L be a language, X a set, and XL an L-structure on X.
    [Show full text]
  • Exploring Euler's Foundations of Differential Calculus in Isabelle
    Exploring Euler’s Foundations of Differential Calculus in Isabelle/HOL using Nonstandard Analysis Jessika Rockel I V N E R U S E I T H Y T O H F G E R D I N B U Master of Science Computer Science School of Informatics University of Edinburgh 2019 Abstract When Euler wrote his ‘Foundations of Differential Calculus’ [5], he did so without a concept of limits or a fixed notion of what constitutes a proof. Yet many of his results still hold up today, and he is often revered for his skillful handling of these matters despite the lack of a rigorous formal framework. Nowadays we not only have a stricter notion of proofs but we also have computer tools that can assist in formal proof development: Interactive theorem provers help users construct formal proofs interactively by verifying individual proof steps and pro- viding automation tools to help find the right rules to prove a given step. In this project we examine the section of Euler’s ‘Foundations of Differential Cal- culus’ dealing with the differentiation of logarithms [5, pp. 100-104]. We retrace his arguments in the interactive theorem prover Isabelle to verify his lines of argument and his conclusions and try to gain some insight into how he came up with them. We are mostly able to follow his general line of reasoning, and we identify a num- ber of hidden assumptions and skipped steps in his proofs. In one case where we cannot reproduce his proof directly we can still validate his conclusions, providing a proof that only uses methods that were available to Euler at the time.
    [Show full text]
  • 4. Basic Concepts in This Section We Take X to Be Any Infinite Set Of
    401 4. Basic Concepts In this section we take X to be any infinite set of individuals that contains R as a subset and we assume that ∗ : U(X) → U(∗X) is a proper nonstandard extension. The purpose of this section is to introduce three important concepts that are characteristic of arguments using nonstandard analysis: overspill and underspill (consequences of certain sets in U(∗X) not being internal); hy- perfinite sets and hyperfinite sums (combinatorics of hyperfinite objects in U(∗X)); and saturation. Overspill and underspill ∗ ∗ 4.1. Lemma. The sets N, µ(0), and fin( R) are external in U( X). Proof. Every bounded nonempty subset of N has a maximum element. By transfer we conclude that every bounded nonempty internal subset of ∗N ∗ has a maximum element. Since N is a subset of N that is bounded above ∗ (by any infinite element of N) but that has no maximum element, it follows that N is external. Every bounded nonempty subset of R has a least upper bound. By transfer ∗ we conclude that every bounded nonempty internal subset of R has a least ∗ upper bound. Since µ(0) is a bounded nonempty subset of R that has no least upper bound, it follows that µ(0) is external. ∗ ∗ ∗ If fin( R) were internal, so would N = fin( R) ∩ N be internal. Since N is ∗ external, it follows that fin( R) is also external. 4.2. Proposition. (Overspill and Underspill Principles) Let A be an in- ternal set in U(∗X). ∗ (1) (For N) A contains arbitrarily large elements of N if and only if A ∗ contains arbitrarily small infinite elements of N.
    [Show full text]
  • Fundamental Theorems in Mathematics
    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
    [Show full text]
  • Infinitesimals
    Infinitesimals: History & Application Joel A. Tropp Plan II Honors Program, WCH 4.104, The University of Texas at Austin, Austin, TX 78712 Abstract. An infinitesimal is a number whose magnitude ex- ceeds zero but somehow fails to exceed any finite, positive num- ber. Although logically problematic, infinitesimals are extremely appealing for investigating continuous phenomena. They were used extensively by mathematicians until the late 19th century, at which point they were purged because they lacked a rigorous founda- tion. In 1960, the logician Abraham Robinson revived them by constructing a number system, the hyperreals, which contains in- finitesimals and infinitely large quantities. This thesis introduces Nonstandard Analysis (NSA), the set of techniques which Robinson invented. It contains a rigorous de- velopment of the hyperreals and shows how they can be used to prove the fundamental theorems of real analysis in a direct, natural way. (Incredibly, a great deal of the presentation echoes the work of Leibniz, which was performed in the 17th century.) NSA has also extended mathematics in directions which exceed the scope of this thesis. These investigations may eventually result in fruitful discoveries. Contents Introduction: Why Infinitesimals? vi Chapter 1. Historical Background 1 1.1. Overview 1 1.2. Origins 1 1.3. Continuity 3 1.4. Eudoxus and Archimedes 5 1.5. Apply when Necessary 7 1.6. Banished 10 1.7. Regained 12 1.8. The Future 13 Chapter 2. Rigorous Infinitesimals 15 2.1. Developing Nonstandard Analysis 15 2.2. Direct Ultrapower Construction of ∗R 17 2.3. Principles of NSA 28 2.4. Working with Hyperreals 32 Chapter 3.
    [Show full text]
  • Arxiv:1704.00281V1 [Math.LO] 2 Apr 2017 Adaayi Aebe Aebfr,Eg Sfollows: As E.G
    NONSTANDARD ANALYSIS AND CONSTRUCTIVISM! SAM SANDERS Abstract. Almost two decades ago, Wattenberg published a paper with the title Nonstandard Analysis and Constructivism? in which he speculates on a possible connection between Nonstandard Analysis and constructive mathe- matics. We study Wattenberg’s work in light of recent research on the afore- mentioned connection. On one hand, with only slight modification, some of Wattenberg’s theorems in Nonstandard Analysis are seen to yield effective and constructive theorems (not involving Nonstandard Analysis). On the other hand, we establish the incorrectness of some of Wattenberg’s (explicit and implicit) claims regarding the constructive status of the axioms Transfer and Standard Part of Nonstandard Analysis. 1. Introduction The introduction of Wattenberg’s paper [37] includes the following statement: This is a speculative paper. For some time the author has been struck by an apparent affinity between two rather unlikely areas of mathematics - nonstandard analysis and constructivism. [. ] The purpose of this paper is to investigate these ideas by examining several examples. ([37, p. 303]) In a nutshell, the aim of this paper is to study Wattenberg’s results in light of recent results on the computational content of Nonstandard Analysis as in [28–31]. First of all, similar observations concerning the constructive content of Nonstan- dard Analysis have been made before, e.g. as follows: It has often been held that nonstandard analysis is highly non- constructive, thus somewhat suspect, depending as it does upon the ultrapower construction to produce a model [. ] On the other hand, nonstandard praxis is remarkably constructive; having the arXiv:1704.00281v1 [math.LO] 2 Apr 2017 extended number set we can proceed with explicit calculations.
    [Show full text]
  • Hyperreal Calculus MAT2000 ––Project in Mathematics
    Hyperreal Calculus MAT2000 ––Project in Mathematics Arne Tobias Malkenes Ødegaard Supervisor: Nikolai Bjørnestøl Hansen Abstract This project deals with doing calculus not by using epsilons and deltas, but by using a number system called the hyperreal numbers. The hyperreal numbers is an extension of the normal real numbers with both infinitely small and infinitely large numbers added. We will first show how this system can be created, and then show some basic properties of the hyperreal numbers. Then we will show how one can treat the topics of convergence, continuity, limits and differentiation in this system and we will show that the two approaches give rise to the same definitions and results. Contents 1 Construction of the hyperreal numbers 3 1.1 Intuitive construction . .3 1.2 Ultrafilters . .3 1.3 Formal construction . .4 1.4 Infinitely small and large numbers . .5 1.5 Enlarging sets . .5 1.6 Extending functions . .6 2 The transfer principle 6 2.1 Stating the transfer principle . .6 2.2 Using the transfer principle . .7 3 Properties of the hyperreals 8 3.1 Terminology and notation . .8 3.2 Arithmetic of hyperreals . .9 3.3 Halos . .9 3.4 Shadows . 10 4 Convergence 11 4.1 Convergence in hyperreal calculus . 11 4.2 Monotone convergence . 12 5 Continuity 13 5.1 Continuity in hyperreal calculus . 13 5.2 Examples . 14 5.3 Theorems about continuity . 15 5.4 Uniform continuity . 16 6 Limits and derivatives 17 6.1 Limits in hyperreal calculus . 17 6.2 Differentiation in hyperreal calculus . 18 6.3 Examples . 18 6.4 Increments .
    [Show full text]