Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.
Author: Patrick Suppes
Publisher: Courier Corporation
ISBN: 9780486136875
Category: Mathematics
Page: 265
View: 843
Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.
A monograph containing a historical introduction by A. A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, and Paul Bernays’ independent presentation of a formal system of axiomatic set theory. No special knowledge of set thory and its axiomatics is required. With indexes of authors, symbols and matters, a list of axioms and an extensive bibliography.
This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'.
Author: J.L. Krivine
Publisher: Springer Science & Business Media
ISBN: 9789401031448
Category: Philosophy
Page: 103
View: 353
This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. Three examples of such models are investigated in Chapters VI, VII, and VIII; the most important of these, the class of constructible sets, leads to G6del's result that the axiom of choice and the continuum hypothesis are consistent with the rest of set theory [1]I. The text thus constitutes an introduction to the results of P. Cohen concerning the independence of these axioms [2], and to many other relative consistency proofs obtained later by Cohen's methods. Chapters I and II introduce the axioms of set theory, and develop such parts of the theory as are indispensable for every relative consistency proof; the method of recursive definition on the ordinals being an import ant case in point. Although, more or less deliberately, no proofs have been omitted, the development here will be found to require of the reader a certain facility in naive set theory and in the axiomatic method, such e as should be achieved, for example, in first year graduate work (2 cycle de mathernatiques).
We have chosen instead a development that is quite detailed and complete. For our slow development we claim the following advantages. The text is one from which a student can learn with little supervision and instruction.
Author: G. Takeuti
Publisher: Springer Science & Business Media
ISBN: 9781468499155
Category: Mathematics
Page: 251
View: 609
In 1963, the first author introduced a course in set theory at the Uni versity of Illinois whose main objectives were to cover G6del's work on the consistency of the axiom of choice (AC) and the generalized con tinuum hypothesis (GCH), and Cohen's work on the independence of AC and the GCH. Notes taken in 1963 by the second author were the taught by him in 1966, revised extensively, and are presented here as an introduction to axiomatic set theory. Texts in set theory frequently develop the subject rapidly moving from key result to key result and suppressing many details. Advocates of the fast development claim at least two advantages. First, key results are highlighted, and second, the student who wishes to master the sub ject is compelled to develop the details on his own. However, an in structor using a "fast development" text must devote much class time to assisting his students in their efforts to bridge gaps in the text. We have chosen instead a development that is quite detailed and complete. For our slow development we claim the following advantages. The text is one from which a student can learn with little supervision and instruction. This enables the instructor to use class time for the presentation of alternative developments and supplementary material.
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models.
Author: G. Takeuti
Publisher: Springer Science & Business Media
ISBN: 9781468487510
Category: Mathematics
Page: 238
View: 251
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these techniques in one comprehensive framework. Consequently we will focus on certain funda mental and intrinsic relations between these methods of model construction. Extensive applications will not be treated here. This text is a continuation of our book, "I ntroduction to Axiomatic Set Theory," Springer-Verlag, 1971; indeed the two texts were originally planned as a single volume. The content of this volume is essentially that of a course taught by the first author at the University of Illinois in the spring of 1969. From the first author's lectures, a first draft was prepared by Klaus Gloede with the assistance of Donald Pelletier and the second author. This draft was then rcvised by the first author assisted by Hisao Tanaka. The introductory material was prepared by the second author who was also responsible for the general style of exposition throughout the text. We have inc1uded in the introductory material al1 the results from Boolean algebra and topology that we need. When notation from our first volume is introduced, it is accompanied with a deflnition, usually in a footnote. Consequently a reader who is familiar with elementary set theory will find this text quite self-contained.
Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question.
Author: P. R. Halmos
Publisher: Springer Science & Business Media
ISBN: 9781475716450
Category: Mathematics
Page: 104
View: 749
Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.
The main body of this book consists of 106 numbered theorems and a dozen of examples of models of set theory. A large number of additional results is given in the exercises, which are scattered throughout the text.
Author: Thomas Jech
Publisher: Springer Science & Business Media
ISBN: 9783662224007
Category: Mathematics
Page: 634
View: 504
The main body of this book consists of 106 numbered theorems and a dozen of examples of models of set theory. A large number of additional results is given in the exercises, which are scattered throughout the text. Most exer cises are provided with an outline of proof in square brackets [ ], and the more difficult ones are indicated by an asterisk. I am greatly indebted to all those mathematicians, too numerous to men tion by name, who in their letters, preprints, handwritten notes, lectures, seminars, and many conversations over the past decade shared with me their insight into this exciting subject. XI CONTENTS Preface xi PART I SETS Chapter 1 AXIOMATIC SET THEORY I. Axioms of Set Theory I 2. Ordinal Numbers 12 3. Cardinal Numbers 22 4. Real Numbers 29 5. The Axiom of Choice 38 6. Cardinal Arithmetic 42 7. Filters and Ideals. Closed Unbounded Sets 52 8. Singular Cardinals 61 9. The Axiom of Regularity 70 Appendix: Bernays-Godel Axiomatic Set Theory 76 Chapter 2 TRANSITIVE MODELS OF SET THEORY 10. Models of Set Theory 78 II. Transitive Models of ZF 87 12. Constructible Sets 99 13. Consistency of the Axiom of Choice and the Generalized Continuum Hypothesis 108 14. The In Hierarchy of Classes, Relations, and Functions 114 15. Relative Constructibility and Ordinal Definability 126 PART II MORE SETS Chapter 3 FORCING AND GENERIC MODELS 16. Generic Models 137 17. Complete Boolean Algebras 144 18.
The main notions of set theory -- including cardinals, ordinals, and transfinite induction -- are fundamental to all mathematics.
Author: Murray Eisenberg
Publisher:
ISBN: UOM:39015015613527
Category: Axiomatic set theory
Page: 366
View: 479
The main notions of set theory -- including cardinals, ordinals, and transfinite induction -- are fundamental to all mathematics. This advanced undergraduate- and graduate-level text offers a thorough exploration that extends from the history of set theory and its paradoxes to connections with symbolic and mathematical logic. Advanced topics include relations and functions, equipollence, and more. 1971 edition.
Author: Nikolai Konstantinovich VereshchaginPublish On: 2002
This book is the first of its kind to explore in depth a fundamental topic (basic set theory) that's normally covered only briefly within the context of a larger subject area (e.g., analysis, algebra, topology, etc.) With over 150 problems, ...
Author: Nikolai Konstantinovich Vereshchagin
Publisher: American Mathematical Soc.
ISBN: 9780821827314
Category: Mathematics
Page: 116
View: 571
The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own dedicated treatment. This book provides just that in the form of a leisurely exposition for a diversified audience. It is suitable for a broad range of readers, from undergraduate students to professional mathematicians who want to finally find out what transfinite induction is and why it is always replaced by Zorn's Lemma. The text introduces all main subjects of ``naive'' (nonaxiomatic) set theory: functions, cardinalities, ordered and well-ordered sets, transfinite induction and its applications, ordinals, and operations on ordinals. Included are discussions and proofs of the Cantor-Bernstein Theorem, Cantor's diagonal method, Zorn's Lemma, Zermelo's Theorem, and Hamel bases. With over 150 problems, the book is a complete and accessible introduction to the subject.
The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume.
Author: Michael Hallett
Publisher: Oxford University Press
ISBN: 0198532830
Category: Mathematics
Page: 343
View: 445
Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume. Hallett explores Cantor's ideas and, in particular, their ramifications for Zermelo-Frankel set theory.
