Set Theory

The Third Millennium Edition, revised and expanded

Author: Thomas Jech

Publisher: Springer Science & Business Media

ISBN: 354044761X

Category: Mathematics

Page: 772

View: 4896

DOWNLOAD NOW »

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
Release

Combinatorial Set Theory

With a Gentle Introduction to Forcing

Author: Lorenz J. Halbeisen

Publisher: Springer Science & Business Media

ISBN: 9781447121732

Category: Mathematics

Page: 456

View: 3984

DOWNLOAD NOW »

This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated technique of forcing, originally developed by Paul Cohen, is explained in great detail. With this technique, one can show that certain statements, like the continuum hypothesis, are neither provable nor disprovable from the axioms of set theory. In the last part, some topics of classical set theory are revisited and further developed in the light of forcing. The notes at the end of each chapter put the results in a historical context, and the numerous related results and the extensive list of references lead the reader to the frontier of research. This book will appeal to all mathematicians interested in the foundations of mathematics, but will be of particular use to graduates in this field.
Release

The Stationary Tower

Notes on a Course by W. Hugh Woodin

Author: Paul Bradley Larson,W. Hugh Woodin,E B Dynkin

Publisher: American Mathematical Soc.

ISBN: 0821836048

Category: Mathematics

Page: 132

View: 9663

DOWNLOAD NOW »

The stationary tower is an important method in modern set theory invented by Hugh Woodin in the 1980s. It is a means of constructing generic elementary embeddings and can be applied to produce a variety of useful forcing effects. Hugh Woodin is a leading figure in modern set theory, having made many deep and lasting contributions to the field, in particular to descriptive set theory and large cardinals. This book is the first detailed treatment of his method of the stationary tower that is generally accessible to graduate students in mathematical logic. It should become the standard reference on the stationary tower and its applications to descriptive set theory. The book is suitable for a graduate course that assumes some familiarity with forcing, constructibility, and ultrapowers.
Release

A Course in Model Theory

Author: Katrin Tent,Martin Ziegler

Publisher: Cambridge University Press

ISBN: 052176324X

Category: Mathematics

Page: 248

View: 9201

DOWNLOAD NOW »

This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.
Release

A Course in Mathematical Logic for Mathematicians

Author: Yu. I. Manin

Publisher: Springer Science & Business Media

ISBN: 1441906150

Category: Mathematics

Page: 384

View: 5048

DOWNLOAD NOW »

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics. (ii) Mathematics has been and is moving with growing acceleration from the set-theoretic language of structures to the language and intuition of (higher) categories, leaving behind old concerns about in?nities: a new view of foundations is now emerging. (iii) Computer science, a no-nonsense child of the abstract computability theory, has been creatively dealing with old challenges and providing new ones, such as the P/NP problem. Planning additional chapters for this second edition, I have decided to focus onmodeltheory,the conspicuousabsenceofwhichinthe ?rsteditionwasnoted in several reviews, and the theory of computation, including its categorical and quantum aspects. The whole Part IV: Model Theory, is new. I am very grateful to Boris I. Zilber, who kindly agreed to write it. It may be read directly after Chapter II. The contents of the ?rst edition are basically reproduced here as Chapters I–VIII. Section IV.7, on the cardinality of the continuum, is completed by Section IV.7.3, discussing H. Woodin’s discovery.
Release

Mathematics, Substance and Surmise

Views on the Meaning and Ontology of Mathematics

Author: Ernest Davis,Philip J. Davis

Publisher: Springer

ISBN: 331921473X

Category: Mathematics

Page: 379

View: 7553

DOWNLOAD NOW »

The seventeen thought-provoking and engaging essays in this collection present readers with a wide range of diverse perspectives on the ontology of mathematics. The essays address such questions as: What kind of things are mathematical objects? What kinds of assertions do mathematical statements make? How do people think and speak about mathematics? How does society use mathematics? How have our answers to these questions changed over the last two millennia, and how might they change again in the future? The authors include mathematicians, philosophers, computer scientists, cognitive psychologists, sociologists, educators and mathematical historians; each brings their own expertise and insights to the discussion. Contributors to this volume: Jeremy Avigad Jody Azzouni David H. Bailey David Berlinski Jonathan M. Borwein Ernest Davis Philip J. Davis Donald Gillies Jeremy Gray Jesper Lützen Ursula Martin Kay O’Halloran Alison Pease Steven Piantadosi Lance Rips Micah T. Ross Nathalie Sinclair John Stillwell Hellen Verran
Release

Newsletter

Author: New Zealand Mathematical Society

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: N.A

View: 3406

DOWNLOAD NOW »

Release