Axiomatic Set Theory

( 2 )

Overview


This clear and well-developed approach to axiomatic set theory is geared toward upper-level undergraduates and graduate students. It examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, finite sets and cardinal numbers, rational and real numbers, and other subjects. 1960 edition.
Read More Show Less
... See more details below
Other sellers (Paperback)
  • All (29) from $2.00   
  • New (12) from $7.47   
  • Used (17) from $2.00   
Axiomatic Set Theory

Available on NOOK devices and apps  
  • NOOK Devices
  • NOOK HD/HD+ Tablet
  • NOOK
  • NOOK Color
  • NOOK Tablet
  • Tablet/Phone
  • NOOK for Windows 8 Tablet
  • NOOK for iOS
  • NOOK for Android
  • NOOK Kids for iPad
  • PC/Mac
  • NOOK for Windows 8
  • NOOK for PC
  • NOOK for Mac
  • NOOK Study
  • NOOK for Web

Want a NOOK? Explore Now

NOOK Book (eBook)
$10.49
BN.com price
(Save 29%)$14.95 List Price

Overview


This clear and well-developed approach to axiomatic set theory is geared toward upper-level undergraduates and graduate students. It examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, finite sets and cardinal numbers, rational and real numbers, and other subjects. 1960 edition.
Read More Show Less

Product Details

  • ISBN-13: 9780486616308
  • Publisher: Dover Publications
  • Publication date: 6/1/1972
  • Series: Dover Books on Mathematics Series
  • Pages: 288
  • Sales rank: 1,336,229
  • Product dimensions: 5.41 (w) x 8.44 (h) x 0.56 (d)

Read an Excerpt

AXIOMATIC SET THEORY


By PATRICK SUPPES

Dover Publications, Inc.

Copyright © 1972 Dover Publications, Inc.
All rights reserved.
ISBN: 978-0-486-13687-5



CHAPTER 1

INTRODUCTION


§ 1.1 Set Theory and the Foundations of Mathematics. Among the many branches of modern mathematics set theory occupies a unique place: with a few rare exceptions the entities which are studied and analyzed in mathematics may be regarded as certain particular sets or classes of objects. This means that the various branches of mathematics may be formally defined within set theory. As a consequence, many fundamental questions about the nature of mathematics may be reduced to questions about set theory.

The working mathematician, as well as the man in the street, is seldom concerned with the unusual question: What is a number? But the attempt to answer this question precisely has motivated much of the work by mathematicians and philosophers in the foundations of mathematics during the past hundred years. Characterization of the integers, rational numbers and real numbers has been a central problem for the classical researches of Weierstrass, Dedekind, Kronecker, Frege, Peano, Russell, Whitehead, Brouwer, and others. Perplexities about the nature of number did not originate in the nineteenth century. One of the most magnificent contributions of ancient Greek mathematics was Eudoxus' theory of proportion, expounded in Book V of Euclid's Elements; the main aim of Eudoxus was to give a rigorous treatment of irrational quantities like the geometric mean of 1 and 2. It may indeed be said that the detailed development from the general axioms of set theory of number theory and analysis is very much in the spirit of Eudoxus.

Yet the real development of set theory was not generated directly by an attempt to answer this central problem of the nature of number, but by the researches of Georg Cantor around 1870 in the theory of infinite series and related topics of analysis. Cantor, who is usually considered the founder of set theory as a mathematical discipline, was led by his work into a consideration of infinite sets or classes of arbitrary character. In 1874 he published his famous proof that the set of real numbers cannot be put into one-one correspondence with the set of natural numbers (the non-negative integers). In 1878 he introduced the fundamental notion of two sets being equipollent or having the same power (Mächtigkeit) if they can be put into one-one correspondence with each other. Clearly two finite sets have the same power just when they have the same number of members. Thus the notion of power leads in the case of infinite sets to a generalization of the notion of a natural number to that of an infinite cardinal number. Development of the general theory of transfinite numbers was one of the great accomplishments of Cantor's mathematical researches.

Technical consideration of the many basic concepts of set theory introduced by Cantor will be given in due course. From the standpoint of the foundations of mathematics the philosophically revolutionary aspect of Cantor's work was his bold insistence on the actual infinite, that is, on the existence of infinite sets as mathematical objects on a par with numbers and finite sets. Historically the concept of infinity has played a role in the literature of the foundations of mathematics as important as that of the concept of number. There is scarcely a serious philosopher of mathematics since Aristotle who has not been much exercised about this difficult concept.

Any book on set theory is naturally expected to provide an exact analysis of the concepts of number and infinity. But other topics, some controversial and important in foundations research, are also a traditional part of the subject and are consequently treated in the chapters that follow. Typical are algebra of sets, general theory of relations, ordering relations in particular, functions, finite sets, cardinal numbers, infinite sets, ordinal arithmetic, transfinite induction, definition by transfinite recursion, axiom of choice, Zorn's Lemma. At this point the reader is not expected to know what these phrases mean, but such a list may still give a clue to the more detailed contents of this book.

In this book set theory is developed axiomatically rather than intuitively. Several considerations have guided the choice of an axiomatic approach. One is the author's opinion that the axiomatic development of set theory is among the most impressive accomplishments of modern mathematics. Concepts which were vague and unpleasantly inexact for decades and sometimes even centuries can be given a precise meaning. Adequate axioms for set theory provide one clear, constructive answer to the question: Exactly what assumptions, beyond those of elementary logic, are required as a basis for modern mathematics? The most pressing consideration, however, is the discovery, made around 1900, of various paradoxes in naive, intuitive set theory, which admits the existence of sets of objects having any definite property whatsoever. Some particular restricted axiomatic approach is needed to avoid these paradoxes, which are discussed in §§ 1.3 and 1.4 below.


§ 1.2 Logic and Notation. We shall use symbols of logic extensively for purposes of precision and brevity, particularly in the early chapters. But proofs are mainly written in an informal style. The theory developed is treated as an axiomatic theory of the sort familiar from geometry and other parts of mathematics, and not as a formal logistic system for which exact rules of syntax and semantics are given. The explicitness of proofs is sufficient to make it a routine matter for any reader familiar with mathematical logic to provide formalized proofs in some standard system of logic. However, familiarity with mathematical logic is not required for understanding any part of the book.

At this point we introduce the few logical symbols which will be used. We first consider five symbols for the five most common sentential connectives. The negation of a formula P is written as -P. The conjunction of two formulas P and Q is written as P & Q. The disjunction of P and Q as P V Q. The implication with P as antecedent and Q as consequent as P [??] Q. The equivalence Pif and only ifQ as P ->Q. The universal quantifier For everyv as ([for all]v), and the existential quantifier For somev as ([there exists]v). We also use the symbol (E!v) for There is exactly onevsuch that. This notation may be summarized in the following table.

The sentence:

For every x there is a y such that for every x < y

is symbolized:

(1) [for all]x)([there exists]y)(x< y).


The sentence:

For every ε there is a δ such that for every y

if |x - y| < δ then |f(x) - f(y)| > ε

is symbolized:

(2) ([for all]ε)([there exists]δ)([for all]y)(|x - y| < δ -> |f(x) - f(y)| < ε).


The sentence:

For every x there is exactly one y such that x + y = 0

is symbolized:

([for all]x)(E!y)(x + y = 0).


A given logical symbol may correspond to several English idioms. Thus ([for all]v)P may be read For allv, P as well as For everyv, P. Sentences (1) and (2) illustrate the use of parentheses for purposes of punctuation. No formal explanation seems necessary. However, one convention concerning the relative dominance of the sentential connectives &, V, -> and will [??] reduce considerably the number of parentheses. The convention is that [??] and -> dominate & and V. Thus, the formula:

(x< y & y< z) ->x< z

may be written without parentheses:

(3) x < y & y < z -> x < z.


Similarly,

x + y ≠ 0 [??] (x ≠ 0 v y ≠ 0)


may be written:

x + y ≠ 0 [??] x ≠ 0 v y ≠ 0


Principles of logic which are needed in the sequel and which may not be familiar to some readers will be intuitively explained when used. One principle used, concerning which there is some disagreement in practice among mathematicians, is that the double bar '=' is taken as the sign of identity. The formula 'x = y' may be read 'x is the same as y', 'x is identical with y' or 'x is equal to y'. The last reading is permissible here only if it is understood that equality means sameness of identity (which is what it does mean in almost all ordinary mathematical contexts). The exact status of the relation of identity within set theory is discussed in §2.2.

A few remarks concerning quantifiers may also be helpful. The scope of a quantifier is the quantifier itself together with the smallest formula immediately following the quantifier. What the smallest formula is, is always indicated by parentheses. Thus in the formula

(4) ([there exists]x)(x< y) [disjunction] y = 0


the scope of the quantifier '([there exists]x)' is the formula '([there exists]x)(x< y)'. Following an almost universal practice in mathematics, we shall omit, in the formulation of axioms and theorems, any universal quantifier whose scope is the whole formula. For instance, instead of (1) above, we would write: ([there exists]y) (x< y).

In a few places we shall need the notions of bound and free variables. An occurrence of a variable in a formula is bound if and only if this occurrence is within the scope of a quantifier using this variable. An occurrence of a variable in a formula is free if not bound. Finally, a variable is a bound variable in a formula if and only if at least one occurrence is bound; it is a free variable in a formula if and only if at least one occurrence is free. In formula (1) of this section all variables are bound; in (3) all variables are free; in (4) 'x' is bound and 'y' is free. By virtue of the convention stated in the preceding paragraph concerning omission of universal quantifiers in axioms and theorems, all variables occurring in axioms and theorems are bound.


§ 1.3 Axiom Schema of Abstraction and Russell's Paradox. In his initial development of set theory, Cantor did not work explicitly from axioms. However, analysis of his proofs indicates that almost all of the theorems proved by him can be derived from three axioms: (i) The axiom of extensionality for sets, which asserts that two sets are identical if they have the same members; (ii) the axiom of abstraction, which states that given any property there exists a set whose members are just those entities having that property; (iii) the axiom of choice, which will not be formulated at this point and is not pertinent to our discussion of the paradoxes.

The source of trouble is the axiom of abstraction. The first explicit formulation of it seems to be as Axiom V in Frege [1893]. In 1901 Bertrand Russell discovered that a contradiction could be derived from this axiom by considering the set of all things which have the property of not being members of themselves. Because this paradox was historically important in motivating the development of new, restricted axioms for set theory, its derivation will be given here. For symbolic formulation we need to introduce the binary predicate '[member of]' of set membership. The formula 'x [member of] y' is read 'x is a member of y', 'x belongs to y' or sometimes, 'x is in y' Thus, if A is the set of first five odd positive integers, the sentence '7 [member of] A' is true and '6 [member of] A' is false.


(Continues...)

Excerpted from AXIOMATIC SET THEORY by PATRICK SUPPES. Copyright © 1972 Dover Publications, Inc.. Excerpted by permission of Dover Publications, Inc..
All rights reserved. No part of this excerpt may be reproduced or reprinted without permission in writing from the publisher.
Excerpts are provided by Dial-A-Book Inc. solely for the personal use of visitors to this web site.

Read More Show Less

Table of Contents

1. INTRODUCTION
  1.1 Set Theory and the Foundations of Mathematics
  1.2 Logic and Notation
  1.3 Axiom Schema of Abstraction and Russell's Paradox
  1.4 More Paradoxes
  1.5 Preview of Axioms
2. GENERAL DEVELOPMENTS
  2.1 Preliminaries: Formulas and Definitions
  2.2 Axioms of Extensionality and Separation
  2.3 "Intersection, Union, and Difference of Sets "
  2.4 Pairing Axiom and Ordered Pairs
  2.5 Definition by Abstraction
  2.6 Sum Axiom and Families of Sets
  2.7 Power Set Axiom
  2.8 Cartesian Product of Sets
  2.9 Axiom of Regularity
  2.10 Summary of Axioms
3. RELATIONS AND FUNCTIONS
  3.1 Operations on Binary Relations
  3.2 Ordering Relations
  3.3 Equivalence Relations and Partitions
  3.4 Functions
4. "EQUIPOLLENCE, FINITE SETS, AND CARDINAL NUMBERS "
  4.1 Equipollence
  4.2 Finite Sets
  4.3 Cardinal Numbers
  4.4 Finite Cardinals
5. FINITE ORDINALS AND DENUMERABLE SETS
  5.1 Definition and General Properties of Ordinals
  5.2 Finite Ordinals and Recursive Definitions
  5.3 Denumerable Sets
6. RATIONAL NUMBERS AND REAL NUMBERS
  6.1 Introduction
  6.2 Fractions
  6.3 Non-negative Rational Numbers
  6.4 Rational Numbers
  6.5 Cauchy Sequences of Rational Numbers
  6.6 Real Numbers
  6.7 Sets of the Power of the Continuum
7. TRANSFINITE INDUCTION AND ORDINAL ARITHMETIC
  7.1 Transfinite Induction and Definition by Transfinite Recursion
  7.2 Elements of Ordinal Arithmetic
  7.3 Cardinal Numbers Again and Alephs
  7.4 Well-Ordered Sets
  7.5 Revised Summary of Axioms
8. THE AXIOM OF CHOICE
  8.1 Some Applications of the Axiom of Choice
  8.2 Equivalents of the Axiom of Choice
  8.3 Axioms Which Imply the Axiom of Choice
  8.4 Independence of the Axiom of Choice and the Generalized Continuum Hypothesis
  REFERENCES
  GLOSSARY OF SYMBOLS
  AUTHOR INDEX
  SUBJECT INDEX
Read More Show Less

Customer Reviews

Average Rating 5
( 2 )
Rating Distribution

5 Star

(2)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously
Sort by: Showing all of 2 Customer Reviews
  • Anonymous

    Posted December 27, 2001

    Best extant treatment of ZF orthodoxy

    This is an outstanding treatment of the Zermelo-Fraenkel orthodoxy, as it stood immediately before Cohen's forcing results and the model theoretic revolution. This is a harder and richer book than Halmos's Naive Set Theory. Unlike Halmos, the axioms are stated in First Order Logic as well as words. Especially interesting is the way Suppes invokes a temporary axiom of Cardinality, which enables the Axiom of Choice to be delayed until the very end of the book, where it is used to prove a mere 6 theorems plus Cardinality itself. The book also makes rich nonstandard use of ideas by the great Tarski. Excellent chapter on relations and functions. Almost nothing is said about competing systems of set theory. For that, consult Fraenkel, Bar-Hillel, and Levy (1973).

    Was this review helpful? Yes  No   Report this review
  • Anonymous

    Posted February 7, 2012

    No text was provided for this review.

Sort by: Showing all of 2 Customer Reviews

If you find inappropriate content, please report it to Barnes & Noble
Why is this product inappropriate?
Comments (optional)