Invariant Descriptive Set Theory

Preface Polish Group Actions Preliminaries Polish spaces The universal Urysohn space Borel sets and Borel functions Standard Borel spaces The effective hierarchy Analytic sets and SIGMA 1/1 sets Coanalytic sets and pi 1/1 sets The Gandy-Harrington topology Polish Groups Metrics on topological groups Polish groups Continuity of homomorphisms The permutation group S Universal Polish groups The Graev metric groups Polish Group Actions Polish G-spaces The Vaught transforms Borel G-spaces Orbit equivalence relations Extensions of Polish group actions The logic actions Finer Polish Topologies Strong Choquet spaces Change of topology Finer topologies on Polish G-spaces Topological realization of Borel G-spaces Theory of Equivalence Relations Borel Reducibility Borel reductions Faithful Borel reductions Perfect set theorems for equivalence relations Smooth equivalence relations The Glimm-Effros Dichotomy The equivalence relation E0 Orbit equivalence relations embedding E0 The Harrington-Kechris-Louveau theorem Consequences of the Glimm-Effros dichotomy Actions of cli Polish groups Countable Borel Equivalence Relations Generalities of countable Borel equivalence relations Hyperfinite equivalence relations Universal countable Borel equivalence relations Amenable groups and amenable equivalence relations Actions of locally compact Polish groups Borel Equivalence Relations Hypersmooth equivalence relations Borel orbit equivalence relations A jump operator for Borel equivalence relations Examples of Fsigma equivalence relations Examples of pi 0/3 equivalence relations Analytic Equivalence Relations The Burgess trichotomy theorem Definable reductions among analytic equivalence relations Actions of standard Borel groups Wild Polish groups The topological Vaught conjecture Turbulent Actions of Polish Groups Homomorphisms and generic ergodicity Local orbits of Polish group actions Turbulent and generically turbulent actions The Hjorth turbulence theorem Examples of turbulence Orbit equivalence relations and E1 Countable Model Theory Polish Topologies of Infinitary Logic A review of first-order logic Model theory of infinitary logic Invariant Borel classes of countable models Polish topologies generated by countable fragments Atomic models and Gdelta-orbits The Scott Analysis Elements of the Scott analysis Borel approximations of isomorphism relations The Scott rank and computable ordinals A topological variation of the Scott analysis Sharp analysis of S -orbits Natural Classes of Countable Models Countable graphs Countable trees Countable linear orderings Countable groups Applications to Classification Problems Classification by Example: Polish Metric Spaces Standard Borel structures on hyperspaces Classification versus nonclassification Measurement of complexity Classification notions Summary of Benchmark Equivalence Relations Classification problems up to essential countability A roadmap of Borel equivalence relations Orbit equivalence relations General SIGMA 1/1 equivalence relations Beyond analyticity Appendix: Proofs about the Gandy-Harrington Topology The Gandy basis theorem The Gandy-Harrington topology on Xlow References Index