This book lays the foundations for an exciting new area of descriptive set theory. It develops a robust connection between two active areas of research: forcing and analytic equivalence relations. Ideal for graduate students and researchers in set theory, the book provides an ideal springboard for further research.
This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has a simple form? The book provides many positive and negative general answers to this question. The proofs feature proper forcing and GandyHarrington forcing, as well as partition arguments. The results include strong canonization theorems for many classes of equivalence relations and sigma-ideals, as well as ergodicity results in cases where canonization theorems are impossible to achieve. Ideal for graduate students and researchers in set theory, the book provides a useful springboard for further research.
Papildus informācija
Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations.
| Preface |
|
vii | |
|
|
|
1 | (13) |
|
|
|
1 | (2) |
|
|
|
3 | (4) |
|
|
|
7 | (3) |
|
|
|
10 | (2) |
|
|
|
12 | (2) |
|
|
|
14 | (31) |
|
2.1 Descriptive set theory |
|
|
14 | (2) |
|
2.2 Invariant descriptive set theory |
|
|
16 | (2) |
|
|
|
18 | (5) |
|
2.4 Absoluteness and interpretations |
|
|
23 | (8) |
|
|
|
31 | (2) |
|
|
|
33 | (9) |
|
2.7 Concentration of measure |
|
|
42 | (1) |
|
2.8 Katetov order and coding functions |
|
|
42 | (3) |
|
3 Analytic equivalence relations and models of set theory |
|
|
45 | (17) |
|
|
|
45 | (9) |
|
|
|
54 | (2) |
|
|
|
56 | (6) |
|
4 Classes of equivalence relations |
|
|
62 | (18) |
|
4.1 Smooth equivalence relations |
|
|
62 | (1) |
|
4.2 Countable equivalence relations |
|
|
63 | (5) |
|
4.3 Equivalence relations classifiable by countable structures |
|
|
68 | (8) |
|
4.4 Hypersmooth equivalence relations |
|
|
76 | (2) |
|
4.5 Analytic vs. Borel equivalence relations |
|
|
78 | (2) |
|
5 Games and the Silver property |
|
|
80 | (20) |
|
5.1 Integer games connected with σ-ideals |
|
|
80 | (6) |
|
5.2 Determinacy conclusions |
|
|
86 | (4) |
|
5.3 The selection property |
|
|
90 | (7) |
|
5.4 A Silver-type dichotomy for a σ-ideal |
|
|
97 | (3) |
|
|
|
100 | (47) |
|
6.1 σ-ideals σ-generated by closed sets |
|
|
100 | (20) |
|
|
|
120 | (14) |
|
|
|
134 | (2) |
|
|
|
136 | (3) |
|
6.5 The Lebesgue null ideal |
|
|
139 | (8) |
|
7 Benchmark equivalence relations |
|
|
147 | (40) |
|
|
|
147 | (3) |
|
|
|
150 | (22) |
|
|
|
172 | (15) |
|
|
|
187 | (31) |
|
8.1 Halpern-Lauchli cubes |
|
|
187 | (3) |
|
|
|
190 | (6) |
|
|
|
196 | (6) |
|
|
|
202 | (5) |
|
|
|
207 | (11) |
|
|
|
218 | (26) |
|
9.1 Finite products and the covering property |
|
|
218 | (4) |
|
9.2 Finite products of the E0 ideal |
|
|
222 | (10) |
|
9.3 Infinite products of perfect sets |
|
|
232 | (8) |
|
9.4 Products of superperfect sets |
|
|
240 | (4) |
|
10 The countable support iteration ideals |
|
|
244 | (20) |
|
10.1 Iteration preliminaries |
|
|
245 | (2) |
|
10.2 The weak Sacks property |
|
|
247 | (1) |
|
10.3 A game reformulation |
|
|
248 | (7) |
|
10.4 The canonization result |
|
|
255 | (5) |
|
10.5 The iteration of Sacks forcing |
|
|
260 | (1) |
|
10.6 Anticanonization results |
|
|
261 | (3) |
| References |
|
264 | (4) |
| Index |
|
268 | |
Vladimir Kanovei is a mathematician working in descriptive set theory and non-standard analysis. He is Leading Researcher in the Institute for Information Transmission Problems (IITP), Moscow, and Professor at Moscow State University of Railway Engineering (MIIT). Marcin Sabok works in mathematical logic and, in particular, in descriptive set theory. He received his PhD from Wroclaw University, Poland in 2009 and has held postdoctoral positions at the Kurt Gödel Research Center for Mathematical Logic, Vienna and at the University of Illinois, Urbana-Champaign. Sabok is currently Assistant Professor in the Institute of Mathematics at the Polish Academy of Sciences. Jindich Zapletal is a mathematician working in set theory. He developed a robust connection between descriptive set theory, abstract analysis and Shelah's method of proper forcing. His main research contributions are collected in the book Forcing Idealized (Cambridge University Press, 2008). Zapletal is Professor of Mathematics at the University of Florida.
Biežāk uzdotie jautājumi par e-grāmatām