The Joy of Sets: Fundamentals of Contemporary Set TheorySpringer Science & Business Media, 24 jun 1994 - 194 pagina's This book provides an account of those parts of contemporary set theory of direct relevance to other areas of pure mathematics. The intended reader is either an advanced-level mathematics undergraduate, a beginning graduate student in mathematics, or an accomplished mathematician who desires or needs some familiarity with modern set theory. The book is written in a fairly easy-going style, with minimal formalism. In Chapter 1, the basic principles of set theory are developed in a 'naive' manner. Here the notions of 'set', 'union', 'intersection', 'power set', 'rela tion', 'function', etc., are defined and discussed. One assumption in writing Chapter 1 has been that, whereas the reader may have met all of these 1 concepts before and be familiar with their usage, she may not have con sidered the various notions as forming part of the continuous development of a pure subject (namely, set theory). Consequently, the presentation is at the same time rigorous and fast. |
Inhoudsopgave
Naive Set Theory | 1 |
The ZermeloFraenkel Axioms | 29 |
Ordinal and Cardinal Numbers | 66 |
Topics in Pure Set Theory | 101 |
The Axiom of Constructibility | 120 |
Independence Proofs in Set Theory | 130 |
NonWellFounded Set Theory | 143 |
Bibliography | 185 |
Overige edities - Alles bekijken
The Joy of Sets: Fundamentals of Contemporary Set Theory Keith Devlin Geen voorbeeld beschikbaar - 2012 |
The Joy of Sets: Fundamentals of Contemporary Set Theory Keith Devlin Geen voorbeeld beschikbaar - 1993 |
Veelvoorkomende woorden en zinsdelen
a₁ abbreviates assume Axiom of Choice Axiom of Constructibility Axiom of Foundation Axiom of Infinity Axiom of Replacement Axiom of Subset axioms of set bijection binary relation bisimulation boolean algebra Clearly co-inductive cofinal concept consistent constructible set theory Corollary countable defined definition denote easily seen elements equivalence Exercise extensional fact finite sets fixed-point formula of LAST Fraenkel function f graph Hence inaccessible cardinal induction infinite cardinal isomorphic Let f limit ordinal logic mathematical maximal non-well-founded sets notation notion operation ordered pair poset power set Proof proper class prove recursion principle result Second edition sequence Set Axiom set-theoretic Solution Lemma Subset Selection successor ordinal Suppose tagged Theorem theory of sets top node uncountable VA[X w₁ well-founded well-ordering woset Zermelo hierarchy Zermelo-Fraenkel set theory ZFC axioms ZFCA αξ αο κα
Verwijzingen naar dit boek
Development and Evolution: Complexity and Change in Biology Stanley N. Salthe Gedeeltelijke weergave - 1993 |
