Set Theory And Logic

This book is intended to provide an account of those parts of contemporary set theory which are of direct relevance to other areas of pure mathematics. The intended reader is either an advanced level undergraduate, or a beginning graduate student in mathematics, or else an accomplished mathematician who desires or needs a familiarity with modern set theory. The book is written in a fairly easy going style, with a minimum of formalism (a format characteristic of contemporary set theory) • In Chapter I the basic principles of set theory are developed in a "naive" tl manner. Here the notions of "set I II union " , "intersection", "power set" I "relation" I "function" etc. are defined and discussed. One assumption in writing this chapter has been that whereas the reader may have met all of these concepts before, and be familiar with their usage, he may not have considered the various notions as forming part of the continuous development of a pure subject (namely set theory) • Consequently, our development is at the same time rigorous and fast. Chapter II develops the theory of sets proper. Starting with the naive set theory of Chapter I, we begin by asking the question "What is a set?" Attempts to give a rLgorous answer lead naturally to the axioms of set theory introduced by Zermelo and Fraenkel, which is the system taken as basic in this book.

by Daniel Ashlock (Author), Colin Lee (Author)
This text is intended as an introduction to mathematical proofs for students

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.

This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually no prere­ quisites, although a familiarity with notions encountered in a beginning course in abstract algebra such as groups, rings, and fields will be useful in providing some motivation for the topics in Part III.

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The discussion is su pported by a wide range of exercises. The final chapter touches on philosophical issues. The book is supported by a World Wibe Web site containing a variety of supplementary material.