Recursive Aspects of Descriptive Set Theory

Recursive Aspects of Descriptive Set Theory PDF Author: Richard Mansfield
Publisher: Oxford University Press, USA
ISBN:
Category : Mathematics
Languages : en
Pages : 168

Get Book Here

Book Description
Explores the nature of infinity with a view toward classifying and explaining its mathematical applications. It presents not only the basics of the classical theory, but also an introduction to the many important recent results and methods.

Recursive Aspects of Descriptive Set Theory

Recursive Aspects of Descriptive Set Theory PDF Author: Richard Mansfield
Publisher: Oxford University Press, USA
ISBN:
Category : Mathematics
Languages : en
Pages : 168

Get Book Here

Book Description
Explores the nature of infinity with a view toward classifying and explaining its mathematical applications. It presents not only the basics of the classical theory, but also an introduction to the many important recent results and methods.

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.

Descriptive Set Theory and the Structure of Sets of Uniqueness

Descriptive Set Theory and the Structure of Sets of Uniqueness PDF Author: A. S. Kechris
Publisher: Cambridge University Press
ISBN: 9780521358118
Category : Mathematics
Languages : en
Pages : 384

Get Book Here

Book Description
To make this work accessible to logicians as well as set theorists and analysts, classical and modern theory of sets of uniqueness are covered as well as the relevant parts of descriptive set theory.

Invariant Descriptive Set Theory

Invariant Descriptive Set Theory PDF Author: Su Gao
Publisher: CRC Press
ISBN: 9781584887942
Category : Mathematics
Languages : en
Pages : 392

Get Book Here

Book Description
Presents Results from a Very Active Area of ResearchExploring an active area of mathematics that studies the complexity of equivalence relations and classification problems, Invariant Descriptive Set Theory presents an introduction to the basic concepts, methods, and results of this theory. It brings together techniques from various areas of mathem

Recursion Theory

Recursion Theory PDF Author: Chi Tat Chong
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110275643
Category : Mathematics
Languages : en
Pages : 322

Get Book Here

Book Description
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory. The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.

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 Here

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.

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 Here

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 Definable Forcing

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

Get Book Here

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.

Recursion Theory

Recursion Theory PDF Author: Chi Tat Chong
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 311038129X
Category : Mathematics
Languages : en
Pages : 409

Get Book Here

Book Description
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory. The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.

Recursion Theory and Descriptive Set Theory in Effectively Given T(,0) Spaces

Recursion Theory and Descriptive Set Theory in Effectively Given T(,0) Spaces PDF Author: Shun-on A. Tang
Publisher:
ISBN:
Category :
Languages : en
Pages : 168

Get Book Here

Book Description