Read e-book online Descriptive set theory PDF

By Yiannis N. Moschovakis

ISBN-10: 0821848135

ISBN-13: 9780821848135

Descriptive Set thought is the examine of units in separable, entire metric areas that may be outlined (or constructed), and so should be anticipated to have certain homes now not loved by means of arbitrary pointsets. This topic used to be begun through the French analysts on the flip of the 20 th century, so much prominently Lebesgue, and, first and foremost, was once involved essentially with setting up regularity houses of Borel and Lebesgue measurable services, and analytic, coanalytic, and projective units. Its swift improvement got here to a halt within the overdue Thirties, basically since it bumped opposed to difficulties which have been self reliant of classical axiomatic set conception. the sector grew to become very lively back within the Sixties, with the advent of robust set-theoretic hypotheses and strategies from common sense (especially recursion theory), which revolutionized it. This monograph develops Descriptive Set concept systematically, from its classical roots to the fashionable ``effective'' idea and the implications of sturdy (especially determinacy) hypotheses. The e-book emphasizes the rules of the topic, and it units the level for the dramatic effects (established because the Eighties) concerning huge cardinals and determinacy or permitting functions of Descriptive Set idea to classical arithmetic. The publication contains all of the invaluable history from (advanced) set concept, common sense and recursion conception

Show description

Read or Download Descriptive set theory PDF

Similar topology books

N. Bourbaki, H.G. Eggleston, S. Madan's Topological vector spaces: Chapters 1-5 PDF

This can be a softcover reprint of the 1987 English translation of the second one variation of Bourbaki's Espaces Vectoriels Topologiques. a lot of the cloth has been rearranged, rewritten, or changed by means of a extra updated exposition, and a great deal of new fabric has been included during this ebook, reflecting a long time of growth within the box.

Download e-book for iPad: Models for Smooth Infinitesimal Analysis by Ieke Moerdijk

The purpose of this booklet is to build different types of areas which comprise all of the C? -manifolds, but also infinitesimal areas and arbitrary functionality areas. To this finish, the thoughts of Grothendieck toposes (and the common sense inherent to them) are defined at a leisurely speed and utilized. through discussing issues similar to integration, cohomology and vector bundles within the new context, the adequacy of those new areas for research and geometry could be illustrated and the relationship to the classical method of C?

Extra info for Descriptive set theory

Example text

1. Thus if P ⊆ X × Y, then (∃y)P(x, y) ⇐⇒ (∃α)P x, (α) and closure of Σ 11 under ∃Y follows from closure under continuous substitution and ∃N . Finally, to prove closure of Σ 11 under ∀ , suppose P(x, t) ⇐⇒ (∃α)F (x, t, α) with F in Π 01 . Then (∀t)P(x, t) ⇐⇒ (∀t)(∃α)F (x, t, α) ⇐⇒ (∃ )(∀t)F x, t, ( )t , so ∀ P is Σ 11 by closure of Π 01 under continuous substitution and ∀ . The closure properties of Σ 1n for n > 1 follow by induction, using the same quantifier manipulations that we used for the case of Σ 11 .

46 1. 19. Prove that if f : X → N is Σ 0 +1 -measurable then f is of Baire class ≤ . Hint. 9 above and the corresponding result for functions of Baire class . 20. (10) Hint. Put P(x, n, i) ⇐⇒ d f(x), ri < 2−n−1 , where r0 , r1 , . . is the fixed dense set in Y and notice that P is a Σ 0 +1 subset of (X × ) × . 8, choose P ∗ to uniformize P, P ∗ also in Σ 0 +1 and notice that P ∗ is the graph of a function g ∗ : X × → . 1. 19. If X = N or Y = R, we can extend this characterization of Σ 0 +1 -measurability to We only state here the result for the case X = N , since it can be established easily by the methods we have been using.

Tn−1 , otherwise, n 0 if u = t0 , . . , tn−1 for some t0 , . . , tn−1 and i < n, otherwise. It is often convenient to index a finite sequence starting with 1 rather than 0. Notice that if u = t1 , . . , tn , then for i < n, (u)i = ti+1 . 2. Theorem. Each Borel pointclass Σ 0n (n ≥ 1) is closed under continuous substitution, ∨, & , ∃≤ , ∀≤ and ∃ . Each dual pointclass Π 0n is closed under continuous substitution, ∨, & , ∃≤ , ∀≤ and ∀ . Each ambiguous Borel pointclass ∆ 0n is closed under continuous substitution, ¬, ∨, & , ≤ ∃ and ∀≤ .

Download PDF sample

Descriptive set theory by Yiannis N. Moschovakis

by Christopher

Rated 4.95 of 5 – based on 43 votes