Talk:Borel equivalence relation

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Stub-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Stub Class
Mid Importance
 Field: Foundations, logic, and set theory

Planned expansion of this article:

  • Hierarchy of Borel cardinalities
    • Finite cardinals, \mathbb{N}, \mathbb{R}, E_0
      • Dichotomies: No cardinals between \mathbb{N} and \mathbb{R} (Silver-Harrington). No cardinals between \mathbb{R} and E_0 (Harrington-Kechris-Louveau, generalization of Glimm-Effros).
    • After that, no longer a linear order
      • But there's another local dichotomy between E_0 and \ell^1 (Hjorth) (Well, almost.)
    • Countable equivalence relations
    • Equivalence relations induced by Polish group actions
      • Equivalence relations reducible to isomorphism on countable structures
      • Turbulent actions
      • Louveau-Velickovic relations
  • Hyperfinite equivalence relations and the union problem.