Set Theory and the Continuum Hypothesis

Set Theory and the Continuum Hypothesis PDF

Author: Paul J. Cohen

Publisher: Courier Corporation

Published: 2008-12-09

Total Pages: 196

ISBN-13: 0486469212

DOWNLOAD EBOOK →

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.

Set Theory and the Continuum Problem

Set Theory and the Continuum Problem PDF

Author: Raymond M. Smullyan

Publisher:

Published: 2010

Total Pages: 0

ISBN-13: 9780486474847

DOWNLOAD EBOOK →

A lucid, elegant, and complete survey of set theory, this three-part treatment explores axiomatic set theory, the consistency of the continuum hypothesis, and forcing and independence results. 1996 edition.

An Introduction to Homological Algebra

An Introduction to Homological Algebra PDF

Author: Charles A. Weibel

Publisher: Cambridge University Press

Published: 1995-10-27

Total Pages: 470

ISBN-13: 113964307X

DOWNLOAD EBOOK →

The landscape of homological algebra has evolved over the last half-century into a fundamental tool for the working mathematician. This book provides a unified account of homological algebra as it exists today. The historical connection with topology, regular local rings, and semi-simple Lie algebras are also described. This book is suitable for second or third year graduate students. The first half of the book takes as its subject the canonical topics in homological algebra: derived functors, Tor and Ext, projective dimensions and spectral sequences. Homology of group and Lie algebras illustrate these topics. Intermingled are less canonical topics, such as the derived inverse limit functor lim1, local cohomology, Galois cohomology, and affine Lie algebras. The last part of the book covers less traditional topics that are a vital part of the modern homological toolkit: simplicial methods, Hochschild and cyclic homology, derived categories and total derived functors. By making these tools more accessible, the book helps to break down the technological barrier between experts and casual users of homological algebra.

Set Theory of the Continuum

Set Theory of the Continuum PDF

Author: Haim Judah

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 417

ISBN-13: 1461397545

DOWNLOAD EBOOK →

Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 1989-90, this volume is intended to reflect the whole spectrum of activities in set theory. The first section of the book comprises the invited papers surveying the state of the art in a wide range of topics of set-theoretic research. The second section includes research papers on various aspects of set theory and its relation to algebra and topology. Contributors include: J.Bagaria, T. Bartoszynski, H. Becker, P. Dehornoy, Q. Feng, M. Foreman, M. Gitik, L. Harrington, S. Jackson, H. Judah, W. Just, A.S. Kechris, A. Louveau, S. MacLane, M. Magidor, A.R.D. Mathias, G. Melles, W.J. Mitchell, S. Shelah, R.A. Shore, R.I. Soare, L.J. Stanley, B. Velikovic, H. Woodin.

Combinatorial Set Theory

Combinatorial Set Theory PDF

Author: Lorenz J. Halbeisen

Publisher: Springer

Published: 2017-12-20

Total Pages: 594

ISBN-13: 3319602314

DOWNLOAD EBOOK →

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent results in set theory without the axiom of choice. The third part explains the sophisticated technique of forcing in great detail, now including a separate chapter on Suslin’s problem. The technique is used to show that certain statements are neither provable nor disprovable from the axioms of set theory. In the final part, some topics of classical set theory are revisited and further developed in light of forcing, with new chapters on Sacks Forcing and Shelah’s astonishing construction of a model with finitely many Ramsey ultrafilters. Written for graduate students in axiomatic set theory, Combinatorial Set Theory will appeal to all researchers interested in the foundations of mathematics. With extensive reference lists and historical remarks at the end of each chapter, this book is suitable for self-study.

Labyrinth of Thought

Labyrinth of Thought PDF

Author: Jose Ferreiros

Publisher: Springer Science & Business Media

Published: 2001-11-01

Total Pages: 472

ISBN-13: 9783764357498

DOWNLOAD EBOOK →

"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. This takes up Part One of the book. Part Two analyzes the crucial developments in the last quarter of the nineteenth century, above all the work of Cantor, but also Dedekind and the interaction between the two. Lastly, Part Three details the development of set theory up to 1950, taking account of foundational questions and the emergence of the modern axiomatization." (Bulletin of Symbolic Logic)

Set Theory and its Philosophy

Set Theory and its Philosophy PDF

Author: Michael Potter

Publisher: Clarendon Press

Published: 2004-01-15

Total Pages: 362

ISBN-13: 0191556432

DOWNLOAD EBOOK →

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.

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory PDF

Author: J.L. Krivine

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 108

ISBN-13: 9401031444

DOWNLOAD EBOOK →

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).

Lanterna Rally - Theme by Grace Themes