Download Invariant descriptive set theory by Su Gao PDF

By Su Gao

Presents effects from a truly lively zone of Research

Exploring an lively zone of arithmetic that reports the complexity of equivalence kin and type difficulties, Invariant Descriptive Set concept provides an creation to the elemental ideas, equipment, and result of this thought. It brings jointly suggestions from numerous parts of arithmetic, similar to algebra, topology, and common sense, that have different functions to different fields.

After reviewing classical and potent descriptive set concept, the textual content reviews Polish teams and their activities. It then covers Borel reducibility effects on Borel, orbit, and normal definable equivalence family members. the writer additionally presents proofs for various primary effects, reminiscent of the Glimm–Effros dichotomy, the Burgess trichotomy theorem, and the Hjorth turbulence theorem. the following half describes connections with the countable version concept of infinitary good judgment, in addition to Scott research and the isomorphism relation on ordinary periods of countable versions, resembling graphs, bushes, and teams. The e-book concludes with functions to category difficulties and lots of benchmark equivalence kin.

By illustrating the relevance of invariant descriptive set thought to different fields of arithmetic, this self-contained booklet encourages readers to additional discover this very energetic region of study.

Show description

Read or Download Invariant descriptive set theory PDF

Best algebra books

Groebner bases algorithm: an introduction

Groebner Bases is a method that offers algorithmic recommendations to quite a few difficulties in Commutative Algebra and Algebraic Geometry. during this introductory instructional the fundamental algorithms in addition to their generalization for computing Groebner foundation of a suite of multivariate polynomials are awarded.

The Racah-Wigner algebra in quantum theory

The advance of the algebraic features of angular momentum concept and the connection among angular momentum conception and designated issues in physics and arithmetic are lined during this quantity.

Wirtschaftsmathematik für Studium und Praxis 1: Lineare Algebra

Die "Wirtschaftsmathematik" ist eine Zusammenfassung der in den Wirtschaftswissenschaften gemeinhin benötigten mathematischen Kenntnisse. Lineare Algebra führt in die Vektor- und Matrizenrechnung ein, stellt Lineare Gleichungssysteme vor, berichtet über Determinanten und liefert Grundlagen der Eigenwerttheorie und Aussagen zur Definitheit von Matrizen.

Extra resources for Invariant descriptive set theory

Example text

We show the unrelativized version only, and for this it suffices to show that if y ∈ Δ11 and y ∈ WO, then ot(

Show that rk(T ) < ω1CK . 6 29 Analytic sets and Σ11 sets In this section we continue to consider subsets of product spaces X = ω k × (ω ω )l . Recall that a subset A ⊆ X is analytic (or Σ11 ) if there is a closed subset C of X × ω ω such that, for all x ∈ X, x ∈ A ⇐⇒ ∃y ∈ ω ω (x, y) ∈ C. Similarly, we define that A ⊆ X is Σ11 if there is a Π01 set C of X × ω ω such that x ∈ A ⇐⇒ ∃y ∈ ω ω (x, y) ∈ C. In addition, A ⊆ X is coanalytic (or Π11 ) if X − A is analytic. A is Δ11 if it is both analytic and coanalytic.

7 Let X be a Polish space. Show that the union operator ∪ : F (X) × F (X) → F (X) → F1 ∪ F2 (F1 , F2 ) is Borel. 5 23 The effective hierarchy The introduction of the notion of computability into descriptive set theory profoundly changed the subject. The resulting theory is often referred to as effective descriptive set theory, and concepts and results obtained in the precomputability theory era is now called classical descriptive set theory. The effective theory is more fundamental since it can be developed independently and it covers the classical theory completely.

Download PDF sample

Rated 4.01 of 5 – based on 31 votes