Notes on Set Theory

Author: Yiannis N. Moschovakis
Publisher: Springer Science & Business Media
ISBN: 3540941800
Release Date: 1994
Genre: Axiomatische Mengenlehre

The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. It is also viewed as a foundation of mathematics so that "to make a notion precise" simply means "to define it in set theory." This book gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets, and also attempts to explain how mathematical objects can be faithfully modeled within the universe of sets. In this new edition the author has added solutions to the exercises, and rearranged and reworked the text to improve the presentation.

Notes on Logic and Set Theory

Author: P. T. Johnstone
Publisher: Cambridge University Press
ISBN: 0521336929
Release Date: 1987-10-08
Genre: Mathematics

A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitable for all introductory mathematics undergraduates, Notes on Logic and Set Theory covers the basic concepts of logic: first-order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. Successive chapters examine the recursive functions, the axiom of choice, ordinal and cardinal arithmetic, and the incompleteness theorems. Dr. Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics.

Algebraic Set Theory

Author: Andri Joyal
Publisher: Cambridge University Press
ISBN: 0521558301
Release Date: 1995-09-14
Genre: Mathematics

This book offers a new algebraic approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore, the authors explicitly construct these algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realizability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with a background in categorical logic.

Set Theory

Author: Daniel W. Cunningham
Publisher: Cambridge University Press
ISBN: 9781107120327
Release Date: 2016-07-18
Genre: Mathematics

Set theory can be considered a unifying theory for mathematics. This book covers the fundamentals of the subject.

Basic Set Theory

Author: Nikolai Konstantinovich Vereshchagin
Publisher: American Mathematical Soc.
ISBN: 9780821827314
Release Date: 2002
Genre: Mathematics

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.

Introduction to set theory

Author: Karel Hrbacek
Publisher:
ISBN: UOM:39015040426226
Release Date: 1978
Genre: Mathematics

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers. It also provides five additional self-contained chapters, consolidates the material on real numbers into a single updated chapter affording flexibility in course design, supplies end-of-section problems, with hints, of varying degrees of difficulty, includes new material on normal forms and Goodstein sequences, and adds important recent ideas including filters, ultrafilters, closed unbounded and stationary sets, and partitions.

Set Theory

Author: Thomas Jech
Publisher: Springer Science & Business Media
ISBN: 9783540447610
Release Date: 2007-05-23
Genre: Mathematics

This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks and reference books in set theory....The present ‘Third Millennium’ edition...is a whole new book. In three parts the author offers us what in his view every young set theorist should learn and master....This well-written book promises to influence the next generation of set theorists, much as its predecessor has done." --MATHEMATICAL REVIEWS

Elementary Set Theory Part I II

Author: K.T. Leung
Publisher: Hong Kong University Press
ISBN: 9622090265
Release Date: 1992-07-01
Genre: Mathematics

This book provides students of mathematics with the minimum amount of knowledge in logic and set theory needed for a profitable continuation of their studies. There is a chapter on statement calculus, followed by eight chapters on set theory.

Handbook of Set Theory

Author: Matthew Foreman
Publisher: Springer Science & Business Media
ISBN: 9781402057649
Release Date: 2009-12-10
Genre: Mathematics

Numbers imitate space, which is of such a di?erent nature —Blaise Pascal It is fair to date the study of the foundation of mathematics back to the ancient Greeks. The urge to understand and systematize the mathematics of the time led Euclid to postulate axioms in an early attempt to put geometry on a ?rm footing. With roots in the Elements, the distinctive methodology of mathematics has become proof. Inevitably two questions arise: What are proofs? and What assumptions are proofs based on? The ?rst question, traditionally an internal question of the ?eld of logic, was also wrestled with in antiquity. Aristotle gave his famous syllogistic s- tems, and the Stoics had a nascent propositional logic. This study continued with ?ts and starts, through Boethius, the Arabs and the medieval logicians in Paris and London. The early germs of logic emerged in the context of philosophy and theology. The development of analytic geometry, as exempli?ed by Descartes, ill- tratedoneofthedi?cultiesinherentinfoundingmathematics. Itisclassically phrased as the question ofhow one reconciles the arithmetic with the geom- ric. Arenumbers onetypeofthingand geometricobjectsanother? Whatare the relationships between these two types of objects? How can they interact? Discovery of new types of mathematical objects, such as imaginary numbers and, much later, formal objects such as free groups and formal power series make the problem of ?nding a common playing ?eld for all of mathematics importunate. Several pressures made foundational issues urgent in the 19th century.

From the Calculus to Set Theory 1630 1910

Author: I. Grattan-Guinness
Publisher: Princeton University Press
ISBN: 0691070822
Release Date: 2000
Genre: Mathematics

From the Calculus to Set Theory traces the development of the calculus from the early seventeenth century through its expansion into mathematical analysis to the developments in set theory and the foundations of mathematics in the early twentieth century. It chronicles the work of mathematicians from Descartes and Newton to Russell and Hilbert and many, many others while emphasizing foundational questions and underlining the continuity of developments in higher mathematics. The other contributors to this volume are H. J. M. Bos, R. Bunn, J. W. Dauben, T. W. Hawkins, and K. Møller-Pedersen.

Set Theory and its Philosophy

Author: Michael Potter
Publisher: Clarendon Press
ISBN: 9780191556432
Release Date: 2004-01-15
Genre: Philosophy

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.