Number systems and the foundations of analysis

Includes index

Includes bibliography (p. 345-350) and references

Chapter 1. Basic Facts and Notions of Logic and Set Theory 1.1 Logical Connectives 1.2 Conditionals 1.3 Biconditionals 1.4 Quantifiers 1.5 Sets 1.6 Membership. Equality and Inclusion of Sets 1.7 The Empty Set 1.8 Union and Intersection 1.9 Difference and Complement 1.10 Power Set 1.11 Arbitrary Unions and Intersections 1.12 Ordered Pairs 1.13 Cartesian Product 1.14 Relations 1.15 Inverse and Composition of Relations 1.16 Reflexivity, Symmetry, and Transitivity 1.17 Equivalence Relations 1.18 Functions 1.19 Functions from A into (Onto) B 1.20 One-One Functions 1.21 Composition of Functions 1.22 Operations Chapter 2. The Natural Numbers 2.1 Peano Systems 2.2 The Iteration Theorem 2.3 Application of the Iteration Theorem: Addition 2.4 The Order Relation 2.5 Multiplication 2.6 Exponentiation 2.7 Isomorphism, Categoricity 2.8 A Basic Existence Assumption Supplementary Exercises Suggestions for Further Reading Chapter 3. The Integers 3.1 Definition of the Integers 3.2 Addition and Multiplication of Integers 3.3 Rings and Integral Domains 3.4 Ordered Integral Domains 3.5 Greatest Common Divisor, Primes 3.6 Integers Modulo n 3.7 Characteristic of an Integral Domain 3.8 Natural Numbers and Integers of an Integral Domain 3.9 Subdomains, Isomorphisms, Characterizations of the Integers Supplementary Exercises Chapter 4. Rational Numbers and Ordered Fields 4.1 Rational Numbers 4.2 Fields 4.3 Quotient field of an Integral Domain 4.4 Ordered Fields 4.5 Subfields. Rational Numbers of a Field. Chapter 5. The Real Number System 5.1 Inadequacy of the Rationals 5.2 Archimedean Ordered Fields 5.3 Least Upper Bounds and Greatest Lower Bounds 5.4 The Categoricity of the Theory of Complete Ordered Fields 5.5 Convergent Sequences and Cauchy Sequences 5.6 Cauchy Completion. The Real Number System 5.7 Elementary Topology of the Real Number System 5.8 Continuous Functions 5.9 Infinite Series