Talk:Borel equivalence relation

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-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:
Start Class
Mid Importance
 Field: Foundations, logic, and set theory

Planned expansion of this article:

  • Hierarchy of Borel cardinalities
    • Finite cardinals, , ,
      • Dichotomies: No cardinals between and (Silver-Harrington). No cardinals between and (Harrington-Kechris-Louveau, generalization of Glimm-Effros).
    • After that, no longer a linear order
      • But there's another local dichotomy between and (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.