Classical Descriptive Set TheorySpringer Science & Business Media, 6 груд. 2012 р. - 404 стор. Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory. This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field should be familiar. Over the years, researchers in diverse areas of mathematics, such as logic and set theory, analysis, topology, probability theory, etc., have brought to the subject of descriptive set theory their own intuitions, concepts, terminology and notation. |
Зміст
Perfect Polish Spaces | 31 |
CHAPTER II | 65 |
Standard Borel Spaces | 73 |
Borel Sets as Clopen Sets | 82 |
Borel Injections and Isomorphisms | 89 |
Borel Sets and Measures | 103 |
Uniformization Theorems | 120 |
Partition Theorems | 129 |
Separation Theorems | 217 |
Regularity Properties | 226 |
Capacities | 234 |
CHAPTER IV | 242 |
CoAnalytic Ranks | 267 |
Rank Theory | 281 |
Scales and Uniformization | 299 |
CHAPTER V | 313 |
Borel Determinacy | 137 |
Games People Play | 149 |
The Borel Hierarchy | 167 |
Some Examples | 179 |
The Baire Hierarchy | 190 |
CHAPTER III | 196 |
Universal and Complete Sets | 205 |
Projective Determinacy | 322 |
Epilogue | 346 |
On Logical Notation | 353 |
369 | |
Symbols and Abbreviations | 381 |
387 | |
Інші видання - Показати все
Загальні терміни та фрази
algebra analytic sets assume Baire space Banach space bijection Borel function Borel measure Borel sets called Cantor set class of sets clearly clopen closed set closed subspace closed under continuous comeager compact metrizable compact sets Consider contains continuous function continuous preimages converges define denote equivalence relation Exercise finite function f given homeomorphic II-rank II'-complete infinite Kechris Lemma length(s Let f Let G Lusin meager measurable space metrizable space Moschovakis nonempty open sets notation open nbhd open sets ordinal pairwise disjoint player plays pointwise Polish group Polish space Pow(X Projective Determinacy projx Proof prove pruned tree rank recursion second countable separable Banach space sequence set A C X set theory sets in Polish Show space and A C X standard Borel space Theorem topological space transfinite uniformization unique Wadge well-founded well-founded relation winning strategy wins iff X-complete zero-dimensional