Classical Descriptive Set Theory

Classical Descriptive Set Theory PDF Author: Alexander Kechris
Publisher: Springer Science & Business Media
ISBN: 1461241901
Category : Mathematics
Languages : en
Pages : 419

Get Book

Book Description
Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text presents a largely balanced approach to the subject, which combines many elements of the different traditions. It includes a wide variety of examples, more than 400 exercises, and applications, in order to illustrate the general concepts and results of the theory.

Classical Descriptive Set Theory

Classical Descriptive Set Theory PDF Author: Alexander Kechris
Publisher: Springer Science & Business Media
ISBN: 1461241901
Category : Mathematics
Languages : en
Pages : 419

Get Book

Book Description
Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text presents a largely balanced approach to the subject, which combines many elements of the different traditions. It includes a wide variety of examples, more than 400 exercises, and applications, in order to illustrate the general concepts and results of the theory.

Descriptive Set Theory and Forcing

Descriptive Set Theory and Forcing PDF Author: Arnold W. Miller
Publisher: Cambridge University Press
ISBN: 1107168066
Category : Mathematics
Languages : en
Pages : 135

Get Book

Book Description
These notes develop the theory of descriptive sets, leading up to a new proof of Louveau's separation theorem for analytic sets. A first course in mathematical logic and set theory is assumed, making this book suitable for advanced students and researchers.

Descriptive Set Theory and Forcing

Descriptive Set Theory and Forcing PDF Author: Arnold W. Miller
Publisher:
ISBN: 9781568811765
Category : Borel sets
Languages : en
Pages : 130

Get Book

Book Description
This text is based on a graduate course given by the author at the University of Wisconsin. It presents an exposition of basic material from descriptive set theory (the general theory of Borel sets and projective sets), leading up to a new proof of Louveau's separation theorem for analytic sets. It assumes some background in mathematical logic and set theory, and should be of interest to reseachers and advanced students in these areas as well as in mathematical analysis. 4

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

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.

Set Theory for the Working Mathematician

Set Theory for the Working Mathematician PDF Author: Krzysztof Ciesielski
Publisher: Cambridge University Press
ISBN: 9780521594653
Category : Mathematics
Languages : en
Pages : 256

Get Book

Book Description
Presents those methods of modern set theory most applicable to other areas of pure mathematics.

Set Theory

Set Theory PDF Author: Ralf Schindler
Publisher: Springer
ISBN: 3319067257
Category : Mathematics
Languages : en
Pages : 332

Get Book

Book Description
This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory. The following topics are covered: • Forcing and constructability • The Solovay-Shelah Theorem i.e. the equiconsistency of ‘every set of reals is Lebesgue measurable’ with one inaccessible cardinal • Fine structure theory and a modern approach to sharps • Jensen’s Covering Lemma • The equivalence of analytic determinacy with sharps • The theory of extenders and iteration trees • A proof of projective determinacy from Woodin cardinals. Set Theory requires only a basic knowledge of mathematical logic and will be suitable for advanced students and researchers.

Descriptive Set Theory and Forcing

Descriptive Set Theory and Forcing PDF Author: Arnold W. Miller
Publisher: Cambridge University Press
ISBN: 1316739317
Category : Mathematics
Languages : en
Pages : 136

Get Book

Book Description
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourth publication in the Lecture Notes in Logic series, Miller develops the necessary features of the theory of descriptive sets in order to present a new proof of Louveau's separation theorem for analytic sets. While some background in mathematical logic and set theory is assumed, the material is based on a graduate course given by the author at the University of Wisconsin, Madison, and is thus accessible to students and researchers alike in these areas, as well as in mathematical analysis.

Descriptive Set Theory and Definable Forcing

Descriptive Set Theory and Definable Forcing PDF Author: Jindřich Zapletal
Publisher: American Mathematical Soc.
ISBN: 0821834509
Category : Borel sets
Languages : en
Pages : 158

Get Book

Book Description
Focuses on the relationship between definable forcing and descriptive set theory; the forcing serves as a tool for proving independence of inequalities between cardinal invariants of the continuum.

Forcing for Mathematicians

Forcing for Mathematicians PDF Author: Nik Weaver
Publisher: World Scientific
ISBN: 9814566020
Category : Mathematics
Languages : en
Pages : 152

Get Book

Book Description
Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have generated new interest in this subject. This is the first book aimed at explaining forcing to general mathematicians. It simultaneously makes the subject broadly accessible by explaining it in a clear, simple manner, and surveys advanced applications of set theory to mainstream topics. Contents:Peano ArithmeticZermelo–Fraenkel Set TheoryWell-Ordered SetsOrdinalsCardinalsRelativizationReflectionForcing NotionsGeneric ExtensionsForcing EqualityThe Fundamental TheoremForcing CHForcing ¬ CHFamilies of Entire Functions*Self-Homeomorphisms of βℕ \ ℕ, I*Pure States on B(H)*The Diamond PrincipleSuslin's Problem, I*Naimark's problem*A Stronger DiamondWhitehead's Problem, I*Iterated ForcingMartin's AxiomSuslin's Problem, II*Whitehead's Problem, II*The Open Coloring AxiomSelf-Homeomorphisms of βℕ \ ℕ, II*Automorphisms of the Calkin Algebra, I*Automorphisms of the Calkin Algebra, II*The Multiverse Interpretation Readership: Graduates and researchers in logic and set theory, general mathematical audience. Keywords:Forcing;Set Theory;Consistency;Independence;C*-AlgebraKey Features:A number of features combine to make this thorough and rigorous treatment of forcing surprisingly easy to follow. First, it goes straight into the core material on forcing, avoiding Godel constructibility altogether; second, key definitions are simplified, allowing for a less technical development; and third, further care is given to the treatment of metatheoretic issuesEach chapter is limited to four pages, making the presentation very readableA unique feature of the book is its emphasis on applications to problems outside of set theory. Much of this material is currently only available in the primary literatureThe author is a pioneer in the application of set-theoretic methods to C*-algebra, having solved (together with various co-authors) Dixmier's “prime versus primitive” problem, Naimark's problem, Anderson's conjecture about pure states on B(H), and the Calkin algebra outer automorphism problemReviews: “The author presents the basics of the theory of forcing in a clear and stringent way by emphasizing important technical details and simplifying some definitions and arguments. Moreover, he presents the content in a way that should help beginners to understand the central concepts and avoid common mistakes.” Zentralblatt MATH

The Higher Infinite

The Higher Infinite PDF Author: Akihiro Kanamori
Publisher: Springer Science & Business Media
ISBN: 3540888675
Category : Mathematics
Languages : en
Pages : 555

Get Book

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