Description
Book SynopsisTable of ContentsContents Preface List of Symbols Chapter 1 Introduction Baby Set Theory Sets—An Informal View Classes Axiomatic Method Notation Historical Notes Chapter 2 Axioms and Operations Axioms Arbitrary Unions and Intersections Algebra of Sets Epilogue Review Exercises Chapter 3 Relations and Functions Ordered Pairs Relations n-Ary Relations Functions Infinite Cartesian Products Equivalence Relations Ordering Relations Review Exercises Chapter 4 Natural Numbers Inductive Sets Peano's Postulates Recursion on ? Arithmetic Ordering on ? Review Exercises Chapter 5 Construction of the Real Numbers Integers Rational Numbers Real Numbers Summaries Two Chapter 6 Cardinal Numbers and the Axiom of Choice Equinumerosity Finite Sets Cardinal Arithmetic Ordering Cardinal Numbers Axiom of Choice Countable Sets Arithmetic of Infinite Cardinals Continuum Hypothesis Chapter 7 Orderings and Ordinals Partial Orderings Well Orderings Replacement Axioms Epsilon-Images Isomorphisms Ordinal Numbers Debts Paid Rank Chapter 8 Ordinals and Order Types Transfinite Recursion Again Alephs Ordinal Operations Isomorphism Types Arithmetic of Order Types Ordinal Arithmetic Chapter 9 Special Topics Well-Founded Relations Natural Models Cofinality Appendix Notation, Logic, and Proofs Selected References for Further Study List of Axioms Index
