Descriptive set theory / Yiannis N. Moschovakis.

Format:

Book

Author/Creator:

Moschovakis, Yiannis N., author.

Series:

Mathematical surveys and monographs ; volume 155.

Mathematical surveys and monographs ; volume 155

Language:

English

Subjects (All):

Descriptive set theory.

Physical Description:

1 online resource (521 p.)

Edition:

2nd ed.

Place of Publication:

Providence, Rhode Island : American Mathematical Society, [2009]

Language Note:

English

Summary:

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.

Contents:

""Contents""; ""Preface to the Second Edition""; ""Preface to the First Edition""; ""About this Book""; ""Introduction""; ""Chapter 1. ""; ""Chapter 2. kappa-Suslin and lambda-Borel""; ""Chapter 3. Basic notions of the effective theory""; ""Chapter 4. Structure theory for pointclasses""; ""Chapter 5. The constructible universe""; ""Chapter 6. The playful universe""; ""Chapter 7. The recursion theorem""; ""Chapter 8. Metamathematics""; ""The Axiomatics of pointclasses""; ""References""; ""Index""

Notes:

Description based upon print version of record.

Includes bibliographical references (pages 477-489) and index.

Description based on print version record.

Description based on publisher supplied metadata and other sources.

ISBN:

1-4704-1382-5

OCLC:

922980216