Extensions of the Axiom of Determinacy

Extensions of the Axiom of Determinacy PDF Author: Paul B. Larson
Publisher: American Mathematical Society
ISBN: 1470472104
Category : Mathematics
Languages : en
Pages : 182

Get Book Here

Book Description
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.

Extensions of the Axiom of Determinacy

Extensions of the Axiom of Determinacy PDF Author: Paul B. Larson
Publisher: American Mathematical Society
ISBN: 1470472104
Category : Mathematics
Languages : en
Pages : 182

Get Book Here

Book Description
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.

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal PDF Author: W. Hugh Woodin
Publisher: Walter de Gruyter
ISBN: 3110804735
Category : Mathematics
Languages : en
Pages : 944

Get Book Here

Book Description
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.

Measure Theory

Measure Theory PDF Author: Vladimir I. Bogachev
Publisher: Springer Science & Business Media
ISBN: 3540345140
Category : Mathematics
Languages : en
Pages : 1075

Get Book Here

Book Description
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.

Sets and Extensions in the Twentieth Century

Sets and Extensions in the Twentieth Century PDF Author:
Publisher: Elsevier
ISBN: 0080930662
Category : Mathematics
Languages : en
Pages : 878

Get Book Here

Book Description
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a broad range, which makes set theory an intriguing and highly distinctive subject. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in mathematics, the history of philosophy, and any discipline such as computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration - Serves as a singular contribution to the intellectual history of the 20th century - Contains the latest scholarly discoveries and interpretative insights

The Axiom of Choice

The Axiom of Choice PDF Author: Thomas J. Jech
Publisher: Courier Corporation
ISBN: 0486466248
Category : Mathematics
Languages : en
Pages : 226

Get Book Here

Book Description
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.

General Topology Under the Axiom of Determinacy

General Topology Under the Axiom of Determinacy PDF Author: Apollo Francis Hogan
Publisher:
ISBN:
Category :
Languages : en
Pages : 180

Get Book Here

Book Description


Descriptive Set Theory

Descriptive Set Theory PDF Author: Yiannis N. Moschovakis
Publisher: American Mathematical Soc.
ISBN: 0821848135
Category : Mathematics
Languages : en
Pages : 521

Get Book Here

Book Description
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.

Fundamentals of Mathematical Logic

Fundamentals of Mathematical Logic PDF Author: Peter G. Hinman
Publisher: CRC Press
ISBN: 1439864276
Category : Mathematics
Languages : en
Pages : 894

Get Book Here

Book Description
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.

The Logic of Number

The Logic of Number PDF Author: Neil Tennant
Publisher: Oxford University Press
ISBN: 0192846671
Category : Arithmetic
Languages : en
Pages : 376

Get Book Here

Book Description
This book develops Tennant's Natural Logicist account of the foundations of the natural, rational, and real numbers. Tennant uses this framework to distinguish the logical from the intuitive aspects of the basic elements of arithmetic.

The Taming of the True

The Taming of the True PDF Author: Neil Tennant
Publisher: Oxford University Press
ISBN: 9780199251605
Category : Language Arts & Disciplines
Languages : en
Pages : 488

Get Book Here

Book Description
The Taming of the True defends and develops global semantic anti-realism. Neil Tennant argues compellingly that every truth is knowable, and that manifestationism in the theory of meaning entails logical reform. He extends semantic anti-realism to empirical discourse, developing new accounts of the analytic/synthetic distinction, cognitive significance and constructive falsifiability. The book has important consequences for the philosophy of mathematics and logic, the theory of meaning, metaphysics, and epistemology.