Download or read book The Axiom of Determinacy Forcing Axioms and the Nonstationary Ideal written by W. Hugh Woodin and published by Walter de Gruyter. This book was released on 2013-02-01 with total page 944 pages. Available in PDF, EPUB and Kindle. Book excerpt: The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.
Download or read book The Axiom of Choice written by Thomas J. Jech and published by Courier Corporation. This book was released on 2008-01-01 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.
Download or read book The Axiom of Determinacy written by Samantha Renee Stanton and published by . This book was released on 2010 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Working within the Zermelo-Frankel Axioms of set theory, we will introduce two important contradictory axioms: Axiom of Choice and Axiom of Determinacy. We will explore perfect polish spaces and games on these spaces to see that the Axiom of Determinacy is inconsistent with the Axiom of Choice. We will see some of the major consequences of accepting the Axiom of Determinacy and how some of these results change when accepting the Axiom of Choice. We will consider 2-player games of perfect information wherein we will see some powerful results having to do with properties of the real numbers. We will use a game to illustrate a weak proof of the continuum hypothesis.
Download or read book Some Problems Connected with the Axiom of Determinacy written by Douglas Raymond Busch and published by . This book was released on 1972 with total page 49 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Infinitary Combinatorics and the Axiom of Determinateness written by E. M. Kleinberg and published by Springer. This book was released on 2006-11-15 with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Set Theory and its Philosophy written by Michael Potter and published by Clarendon Press. This book was released on 2004-01-15 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Measure Theory written by Vladimir I. Bogachev and published by Springer Science & Business Media. This book was released on 2007-01-15 with total page 1075 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book giving an exposition of the foundations of modern measure theory offers three levels of presentation: a standard university graduate course, an advanced study containing some complements to the basic course, and, finally, more specialized topics partly covered by more than 850 exercises with detailed hints and references. Bibliographical comments and an extensive bibliography with 2000 works covering more than a century are provided.
Download or read book Extensions of the Axiom of Determinacy written by Paul B. Larson and published by American Mathematical Society. This book was released on 2023-10-19 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemma, the existence of strong partition cardinals, and the analysis of pointclasses in models of determinacy. The second half of the book introduces Woodin's axiom system $mathrm{AD}^{+}$ and presents his initial analysis of these axioms. These results include the consistency of $mathrm{AD}^{+}$ from the consistency of AD, and its local character and initial motivation. Proofs are given of fundamental results by Woodin, Martin, and Becker on the relationships among AD, $mathrm{AD}^{+}$, the Axiom of Real Determinacy, and the Suslin property. Many of these results are proved in print here for the first time. The book briefly discusses later work and fundamental questions which remain open. The study of models of $mathrm{AD}^{+}$ is an active area of contemporary research in set theory. The presentation is aimed at readers with a background in basic set theory, including forcing and ultrapowers. Some familiarity with classical results on regularity properties for sets of reals under AD is also expected.
Download or read book Consequences of the Axiom of Choice written by Paul Howard and published by American Mathematical Soc.. This book was released on 1998 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book, Consequences of the Axiom of Choice, is a comprehensive listing of statements that have been proved in the last 100 years using the axiom of choice. Each consequence, also referred to as a form of the axiom of choice, is assigned a number. Part I is a listing of the forms by number. In this part each form is given together with a listing of all statements known to be equivalent to it (equivalent in set theory without the axiom of choice). In Part II the forms are arranged by topic. In Part III we describe the models of set theory which are used to show non-implications between forms. Part IV, the notes section, contains definitions, summaries of important sub-areas and proofs that are not readily available elsewhere. Part V gives references for the relationships between forms and Part VI is the bibliography. Part VII is contained on the floppy disk which is enclosed in the book. It contains a table with form numbers as row and column headings. The entry in the table in row $n$, column $k$ gives the status of the implication ``form $n$ implies form $k$''. Software for easily extracting information from the table is also provided. Features: complete summary of all the work done in the last 100 years on statements that are weaker than the axiom of choice software provided gives complete, convenient access to information about relationships between the various consequences of the axiom of choice and about the models of set theory descriptions of more than 100 models used in the study of the axiom of choice an extensive bibliography About the software: Tables 1 and 2 are accessible on the PC-compatible software included with the book. In addition, the program maketex.c in the software package will create TeX files containing copies of Table 1 and Table 2 which may then be printed. (Tables 1 and 2 are also available at the authors' Web sites: http://www.math.purdue.edu/$\sim$jer/ or http://www.emunix.emich.edu/$\sim$phoward/.) Detailed instructions for setting up and using the software are included in the book's Introduction, and technical support is available directly from the authors.
Download or read book Set Theory written by Thomas Jech and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 642 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main body of this book consists of 106 numbered theorems and a dozen of examples of models of set theory. A large number of additional results is given in the exercises, which are scattered throughout the text. Most exer cises are provided with an outline of proof in square brackets [ ], and the more difficult ones are indicated by an asterisk. I am greatly indebted to all those mathematicians, too numerous to men tion by name, who in their letters, preprints, handwritten notes, lectures, seminars, and many conversations over the past decade shared with me their insight into this exciting subject. XI CONTENTS Preface xi PART I SETS Chapter 1 AXIOMATIC SET THEORY I. Axioms of Set Theory I 2. Ordinal Numbers 12 3. Cardinal Numbers 22 4. Real Numbers 29 5. The Axiom of Choice 38 6. Cardinal Arithmetic 42 7. Filters and Ideals. Closed Unbounded Sets 52 8. Singular Cardinals 61 9. The Axiom of Regularity 70 Appendix: Bernays-Godel Axiomatic Set Theory 76 Chapter 2 TRANSITIVE MODELS OF SET THEORY 10. Models of Set Theory 78 II. Transitive Models of ZF 87 12. Constructible Sets 99 13. Consistency of the Axiom of Choice and the Generalized Continuum Hypothesis 108 14. The In Hierarchy of Classes, Relations, and Functions 114 15. Relative Constructibility and Ordinal Definability 126 PART II MORE SETS Chapter 3 FORCING AND GENERIC MODELS 16. Generic Models 137 17. Complete Boolean Algebras 144 18.
Download or read book The Higher Infinite written by Akihiro Kanamori and published by Springer Science & Business Media. This book was released on 2008-11-23 with total page 555 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.
Download or read book Handbook of Set Theory written by Matthew Foreman and published by Springer Science & Business Media. This book was released on 2009-12-10 with total page 2200 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Descriptive Set Theory written by Yiannis N. Moschovakis and published by American Mathematical Soc.. This book was released on 2009-06-30 with total page 521 pages. Available in PDF, EPUB and Kindle. Book excerpt: Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary pointsets. This subject was started by the French analysts at the turn of the 20th century, most prominently Lebesgue, and, initially, was concerned primarily with establishing regularity properties of Borel and Lebesgue measurable functions, and analytic, coanalytic, and projective sets. Its rapid development came to a halt in the late 1930s, primarily because it bumped against problems which were independent of classical axiomatic set theory. The field became very active again in the 1960s, with the introduction of strong set-theoretic hypotheses and methods from logic (especially recursion theory), which revolutionized it. This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern ``effective'' theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics. The book includes all the necessary background from (advanced) set theory, logic and recursion theory.
Download or read book The Structure of the Real Line written by Lev Bukovský and published by Springer Science & Business Media. This book was released on 2011-03-02 with total page 546 pages. Available in PDF, EPUB and Kindle. Book excerpt: The rapid development of set theory in the last fifty years, mainly by obtaining plenty of independence results, strongly influenced an understanding of the structure of the real line. This book is devoted to the study of the real line and its subsets taking into account the recent results of set theory. Whenever possible the presentation is done without the full axiom of choice. Since the book is intended to be self-contained, all necessary results of set theory, topology, measure theory, and descriptive set theory are revisited with the purpose of eliminating superfluous use of an axiom of choice. The duality of measure and category is studied in a detailed manner. Several statements pertaining to properties of the real line are shown to be undecidable in set theory. The metamathematics behind set theory is shortly explained in the appendix. Each section contains a series of exercises with additional results.
Download or read book Defending the Axioms written by Penelope Maddy and published by Oxford University Press. This book was released on 2011-01-27 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. The axioms of set theory have long played this role, so the question of how they are properly judged is of central importance. Maddy discusses the appropriate methods for such evaluations and the philosophical backdrop that makes them appropriate.
Download or read book Handbook of Mathematical Logic written by J. Barwise and published by Elsevier. This book was released on 1982-03-01 with total page 1179 pages. Available in PDF, EPUB and Kindle. Book excerpt: The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
Download or read book Reflections on the Foundations of Mathematics written by Stefania Centrone and published by Springer Nature. This book was released on 2019-11-11 with total page 511 pages. Available in PDF, EPUB and Kindle. Book excerpt: This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.
