Measure reducibility of countable Borel equivalence relations

Abstract

We show that every basis for the countable Borel equivalence relations strictly above $\mathbb{E}_0$ under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many known results concerning the abstract structure of the measure reducibility hierarchy to its base, using arguments substantially simpler than those previously employed.

  • [Adams] S. Adams, "Containment does not imply Borel reducibility," in Set Theory, Providence, RI: Amer. Math. Soc., 2002, vol. 58, pp. 1-23.
    @INCOLLECTION{Adams, mrkey = {1903846},
      author = {Adams, Scot},
      mrclass = {03E15 (22F10 28D15 37A20)},
      series = {DIMACS Ser. Discrete Math. Theoret. Comput. Sci.},
      address = {Providence, RI},
      publisher = {Amer. Math. Soc.},
      zblnumber = {1013.03052},
      volume = {58},
      mrnumber = {1903846},
      booktitle = {Set Theory},
      mrreviewer = {Arlan Ramsay},
      venue = {{P}iscataway, {NJ},
      1999},
      title = {Containment does not imply {B}orel reducibility},
      pages = {1--23},
      year = {2002},
      }
  • [AdamsKechris] Go to document S. Adams and A. S. Kechris, "Linear algebraic groups and countable Borel equivalence relations," J. Amer. Math. Soc., vol. 13, iss. 4, pp. 909-943, 2000.
    @ARTICLE{AdamsKechris, mrkey = {1775739},
      number = {4},
      issn = {0894-0347},
      author = {Adams, Scot and Kechris, Alexander S.},
      mrclass = {03E15 (37A20)},
      doi = {10.1090/S0894-0347-00-00341-6},
      journal = {J. Amer. Math. Soc.},
      zblnumber = {0952.03057},
      volume = {13},
      mrnumber = {1775739},
      fjournal = {Journal of the American Mathematical Society},
      mrreviewer = {Miroslav Repick{ý}},
      title = {Linear algebraic groups and countable {B}orel equivalence relations},
      year = {2000},
      pages = {909--943},
      }
  • [CaicedoKetchersid] Go to document A. E. Caicedo and R. Ketchersid, "A trichotomy theorem in natural models of $\mathrm{AD}^+$," in Set Theory and its Applications, Providence, RI: Amer. Math. Soc., 2011, vol. 533, pp. 227-258.
    @INCOLLECTION{CaicedoKetchersid, mrkey = {2777751},
      author = {Caicedo, Andr{é}s Eduardo and Ketchersid, Richard},
      mrclass = {03E60 (03C20 03E25)},
      series = {Contemp. Math.},
      address = {Providence, RI},
      publisher = {Amer. Math. Soc.},
      doi = {10.1090/conm/533/10510},
      zblnumber = {1245.03079},
      volume = {533},
      mrnumber = {2777751},
      booktitle = {Set Theory and its Applications},
      mrreviewer = {Alessandro Andretta},
      title = {A trichotomy theorem in natural models of {$\mathrm{AD}\sp +$}},
      pages = {227--258},
      year = {2011},
      }
  • [Ditzen] E. Ditzen, Definable equivalence relations on Polish spaces.
    @MISC{Ditzen,
      author = {Ditzen, E.},
      note = {{Ph.D.} thesis, {C}alifornia {I}nstitute of {T}echnology, {P}asadena, {CA, M}ay 1992},
      title = {Definable equivalence relations on {P}olish spaces},
      }
  • [DoughertyJacksonKechris] Go to document R. Dougherty, S. Jackson, and A. S. Kechris, "The structure of hyperfinite Borel equivalence relations," Trans. Amer. Math. Soc., vol. 341, iss. 1, pp. 193-225, 1994.
    @ARTICLE{DoughertyJacksonKechris, mrkey = {1149121},
      number = {1},
      issn = {0002-9947},
      author = {Dougherty, R. and Jackson, S. and Kechris, A. S.},
      mrclass = {03E15 (03H05 28A05 28D99)},
      doi = {10.2307/2154620},
      journal = {Trans. Amer. Math. Soc.},
      zblnumber = {0803.28009},
      volume = {341},
      mrnumber = {1149121},
      fjournal = {Transactions of the American Mathematical Society},
      mrreviewer = {Mahendra G. Nadkarni},
      coden = {TAMTAM},
      title = {The structure of hyperfinite {B}orel equivalence relations},
      year = {1994},
      pages = {193--225},
      }
  • [Effros] Go to document E. G. Effros, "Transformation groups and $C^{\ast} $-algebras," Ann. of Math., vol. 81, pp. 38-55, 1965.
    @ARTICLE{Effros, mrkey = {0174987},
      issn = {0003-486X},
      author = {Effros, Edward G.},
      mrclass = {46.65},
      doi = {10.2307/1970381},
      journal = {Ann. of Math.},
      zblnumber = {0152.33203},
      volume = {81},
      mrnumber = {0174987},
      fjournal = {Annals of Mathematics. Second Series},
      mrreviewer = {J. M. G. Fell},
      title = {Transformation groups and {$C\sp{\ast} $}-algebras},
      year = {1965},
      pages = {38--55},
      }
  • [FarahTomsTornquist:IMRN] Go to document I. Farah, A. Toms, and A. Törnquist, "The descriptive set theory of ${ C}^*$-algebra invariants," Int. Math. Res. Not., vol. 2013, pp. 5196-5226, 2013.
    @ARTICLE{FarahTomsTornquist:IMRN, mrkey = {3129097},
      issn = {1073-7928},
      author = {Farah, Ilijas and Toms, Andrew and T{ö}rnquist, Asger},
      mrclass = {46L05 (03E15 54H05)},
      journal = {Int. Math. Res. Not.},
      zblnumber = {1323.46038},
      volume = {2013},
      mrnumber = {3129097},
      fjournal = {International Mathematics Research Notices. IMRN},
      mrreviewer = {Jia-jie Hua},
      title = {The descriptive set theory of {${\rm C}\sp *$}-algebra invariants},
      year = {2013},
      pages = {5196--5226},
      doi = {10.1093/imrn/rns206},
      }
  • [FarahTomsTornquist:RAM] Go to document I. Farah, A. S. Toms, and A. Törnquist, "Turbulence, orbit equivalence, and the classification of nuclear $C^*$-algebras," J. Reine Angew. Math., vol. 688, pp. 101-146, 2014.
    @ARTICLE{FarahTomsTornquist:RAM, mrkey = {3176617},
      issn = {0075-4102},
      author = {Farah, Ilijas and Toms, Andrew S. and T{ö}rnquist, Asger},
      mrclass = {46L05},
      doi = {10.1515/crelle-2012-0053},
      journal = {J. Reine Angew. Math.},
      zblnumber = {1296.46053},
      volume = {688},
      mrnumber = {3176617},
      fjournal = {Journal für die Reine und Angewandte Mathematik. [Crelle's Journal]},
      mrreviewer = {Qihui Li},
      title = {Turbulence, orbit equivalence, and the classification of nuclear {$C\sp *$}-algebras},
      year = {2014},
      pages = {101--146},
      }
  • [FeldmanMoore] Go to document J. Feldman and C. C. Moore, "Ergodic equivalence relations, cohomology, and von Neumann algebras. I," Trans. Amer. Math. Soc., vol. 234, iss. 2, pp. 289-324, 1977.
    @ARTICLE{FeldmanMoore, mrkey = {0578656},
      number = {2},
      issn = {0002-9947},
      author = {Feldman, Jacob and Moore, Calvin C.},
      mrclass = {22D40 (28A65 46L10)},
      doi = {10.2307/1997924},
      journal = {Trans. Amer. Math. Soc.},
      zblnumber = {0369.22009},
      volume = {234},
      mrnumber = {0578656},
      fjournal = {Transactions of the American Mathematical Society},
      title = {Ergodic equivalence relations, cohomology, and von {N}eumann algebras. {I}},
      year = {1977},
      pages = {289--324},
      }
  • [FerencziLouveauRosendal] Go to document V. Ferenczi, A. Louveau, and C. Rosendal, "The complexity of classifying separable Banach spaces up to isomorphism," J. Lond. Math. Soc., vol. 79, iss. 2, pp. 323-345, 2009.
    @ARTICLE{FerencziLouveauRosendal, mrkey = {2496517},
      number = {2},
      issn = {0024-6107},
      author = {Ferenczi, Valentin and Louveau, Alain and Rosendal, Christian},
      mrclass = {46B03 (03E15)},
      doi = {10.1112/jlms/jdn068},
      journal = {J. Lond. Math. Soc.},
      zblnumber = {1234.46008},
      volume = {79},
      mrnumber = {2496517},
      fjournal = {Journal of the London Mathematical Society. Second Series},
      mrreviewer = {El{ó}i M. Galego},
      title = {The complexity of classifying separable {B}anach spaces up to isomorphism},
      year = {2009},
      pages = {323--345},
      }
  • [ForemanRudolphWeiss:Annals] Go to document M. D. Foreman, D. J. Rudolph, and B. Weiss, "The conjugacy problem in ergodic theory," Ann. of Math., vol. 173, iss. 3, pp. 1529-1586, 2011.
    @ARTICLE{ForemanRudolphWeiss:Annals, mrkey = {2800720},
      number = {3},
      issn = {0003-486X},
      author = {Foreman, Matthew D. and Rudolph, Daniel J. and Weiss, Benjamin},
      mrclass = {37A05 (03E15 28D05 37A35)},
      doi = {10.4007/annals.2011.173.3.7},
      journal = {Ann. of Math.},
      zblnumber = {1243.37006},
      volume = {173},
      mrnumber = {2800720},
      fjournal = {Annals of Mathematics. Second Series},
      mrreviewer = {Mariusz Lema{ń}czyk},
      coden = {ANMAAH},
      title = {The conjugacy problem in ergodic theory},
      year = {2011},
      pages = {1529--1586},
      }
  • [ForemanWeiss] Go to document M. D. Foreman and B. Weiss, "An anti-classification theorem for ergodic measure preserving transformations," J. Eur. Math. Soc. $($JEMS$)$, vol. 6, iss. 3, pp. 277-292, 2004.
    @ARTICLE{ForemanWeiss, mrkey = {2060477},
      number = {3},
      issn = {1435-9855},
      author = {Foreman, Matthew D. and Weiss, Benjamin},
      mrclass = {37A35 (28D05 37A05 37A25)},
      journal = {J. Eur. Math. Soc. $($JEMS$)$},
      zblnumber = {1063.37004},
      volume = {6},
      mrnumber = {2060477},
      fjournal = {Journal of the European Mathematical Society (JEMS)},
      mrreviewer = {Nathaniel F. G. Martin},
      title = {An anti-classification theorem for ergodic measure preserving transformations},
      year = {2004},
      pages = {277--292},
      doi = {10.4171/JEMS/10},
      }
  • [ForemanRudolphWeiss:Paris] Go to document M. D. Foreman, D. J. Rudolph, and B. Weiss, "On the conjugacy relation in ergodic theory," C. R. Math. Acad. Sci. Paris, vol. 343, iss. 10, pp. 653-656, 2006.
    @ARTICLE{ForemanRudolphWeiss:Paris, mrkey = {2271741},
      number = {10},
      issn = {1631-073X},
      author = {Foreman, Matthew D. and Rudolph, Daniel J. and Weiss, Benjamin},
      mrclass = {37A20 (28A05)},
      doi = {10.1016/j.crma.2006.09.011},
      journal = {C. R. Math. Acad. Sci. Paris},
      zblnumber = {1115.28002},
      volume = {343},
      mrnumber = {2271741},
      fjournal = {Comptes Rendus Mathématique. Académie des Sciences. Paris},
      mrreviewer = {Konstantin Medynets},
      title = {On the conjugacy relation in ergodic theory},
      year = {2006},
      pages = {653--656},
      }
  • [GaboriauPopa] Go to document D. Gaboriau and S. Popa, "An uncountable family of nonorbit equivalent actions of $\Bbb F_n$," J. Amer. Math. Soc., vol. 18, iss. 3, pp. 547-559, 2005.
    @ARTICLE{GaboriauPopa, mrkey = {2138136},
      number = {3},
      issn = {0894-0347},
      author = {Gaboriau, Damien and Popa, Sorin},
      mrclass = {37A20 (37A55 46L10)},
      doi = {10.1090/S0894-0347-05-00480-7},
      journal = {J. Amer. Math. Soc.},
      zblnumber = {1155.37302},
      volume = {18},
      mrnumber = {2138136},
      fjournal = {Journal of the American Mathematical Society},
      mrreviewer = {Sergey L. Gefter},
      title = {An uncountable family of nonorbit equivalent actions of {$\Bbb F\sb n$}},
      year = {2005},
      pages = {547--559},
      }
  • [Glimm] Go to document J. Glimm, "Type I $C^{\ast} $-algebras," Ann. of Math., vol. 73, pp. 572-612, 1961.
    @ARTICLE{Glimm, mrkey = {0124756},
      issn = {0003-486X},
      author = {Glimm, James},
      mrclass = {46.65},
      doi = {10.2307/1970319},
      journal = {Ann. of Math.},
      zblnumber = {0152.33002},
      volume = {73},
      mrnumber = {0124756},
      fjournal = {Annals of Mathematics. Second Series},
      mrreviewer = {J. M. G. Fell},
      title = {Type {I} {$C\sp{\ast} $}-algebras},
      year = {1961},
      pages = {572--612},
      }
  • [HarringtonKechrisLouveau] Go to document L. A. Harrington, A. S. Kechris, and A. Louveau, "A Glimm-Effros dichotomy for Borel equivalence relations," J. Amer. Math. Soc., vol. 3, iss. 4, pp. 903-928, 1990.
    @ARTICLE{HarringtonKechrisLouveau, mrkey = {1057041},
      number = {4},
      issn = {0894-0347},
      author = {Harrington, L. A. and Kechris, A. S. and Louveau, A.},
      mrclass = {28E15 (03E15 22D40)},
      doi = {10.2307/1990906},
      journal = {J. Amer. Math. Soc.},
      zblnumber = {0778.28011},
      volume = {3},
      mrnumber = {1057041},
      fjournal = {Journal of the American Mathematical Society},
      mrreviewer = {Gilles Godefroy},
      title = {A {G}limm-{E}ffros dichotomy for {B}orel equivalence relations},
      year = {1990},
      pages = {903--928},
      }
  • [Hjorth:TFA] G. Hjorth, "Around nonclassifiability for countable torsion free abelian groups," in Abelian Groups and Modules, Basel: Birkhäuser, 1999, pp. 269-292.
    @INCOLLECTION{Hjorth:TFA, mrkey = {1735575},
      author = {Hjorth, Greg},
      mrclass = {20K15 (03E15 54H05)},
      series = {Trends Math.},
      address = {Basel},
      publisher = {Birkhäuser},
      zblnumber = {0983.20053},
      mrnumber = {1735575},
      booktitle = {Abelian Groups and Modules},
      mrreviewer = {Marek Balcerzak},
      venue = {{D}ublin, 1998},
      title = {Around nonclassifiability for countable torsion free abelian groups},
      pages = {269--292},
      year = {1999},
      }
  • [Hjorth:Measure] Go to document G. Hjorth, "On invariants for measure preserving transformations," Fund. Math., vol. 169, iss. 1, pp. 51-84, 2001.
    @ARTICLE{Hjorth:Measure, mrkey = {1852353},
      number = {1},
      issn = {0016-2736},
      author = {Hjorth, Greg},
      mrclass = {03E15 (28D05)},
      doi = {10.4064/fm169-1-2},
      journal = {Fund. Math.},
      zblnumber = {0990.03036},
      volume = {169},
      mrnumber = {1852353},
      fjournal = {Fundamenta Mathematicae},
      mrreviewer = {Miroslav Repick{ý}},
      title = {On invariants for measure preserving transformations},
      year = {2001},
      pages = {51--84},
      }
  • [Hjorth] Go to document G. Hjorth, "Selection theorems and treeability," Proc. Amer. Math. Soc., vol. 136, iss. 10, pp. 3647-3653, 2008.
    @ARTICLE{Hjorth, mrkey = {2415050},
      number = {10},
      issn = {0002-9939},
      author = {Hjorth, Greg},
      mrclass = {03E15 (37A20 37B99)},
      doi = {10.1090/S0002-9939-08-09548-8},
      journal = {Proc. Amer. Math. Soc.},
      zblnumber = {1154.03026},
      volume = {136},
      mrnumber = {2415050},
      fjournal = {Proceedings of the American Mathematical Society},
      mrreviewer = {Tam{á}s M{á}trai},
      coden = {PAMYAR},
      title = {Selection theorems and treeability},
      year = {2008},
      pages = {3647--3653},
      }
  • [Hjorth:Antichain] Go to document G. Hjorth, "Treeable equivalence relations," J. Math. Log., vol. 12, iss. 1, p. 1250003, 2012.
    @ARTICLE{Hjorth:Antichain, mrkey = {2950193},
      number = {1},
      issn = {0219-0613},
      author = {Hjorth, Greg},
      mrclass = {03E15 (37A20)},
      doi = {10.1142/S0219061312500031},
      journal = {J. Math. Log.},
      zblnumber = {1278.03081},
      volume = {12},
      mrnumber = {2950193},
      fjournal = {Journal of Mathematical Logic},
      mrreviewer = {Miroslav Repick{ý}},
      title = {Treeable equivalence relations},
      year = {2012},
      pages = {1250003, 21},
      }
  • [HjorthKechris] Go to document G. Hjorth and A. S. Kechris, "Borel equivalence relations and classifications of countable models," Ann. Pure Appl. Logic, vol. 82, iss. 3, pp. 221-272, 1996.
    @ARTICLE{HjorthKechris, mrkey = {1423420},
      number = {3},
      issn = {0168-0072},
      author = {Hjorth, Greg and Kechris, Alexander S.},
      mrclass = {03C75 (03C15 03E15 54H05)},
      doi = {10.1016/S0168-0072(96)00006-1},
      journal = {Ann. Pure Appl. Logic},
      zblnumber = {0933.03056},
      volume = {82},
      mrnumber = {1423420},
      fjournal = {Annals of Pure and Applied Logic},
      coden = {APALD7},
      title = {Borel equivalence relations and classifications of countable models},
      year = {1996},
      pages = {221--272},
      }
  • [HjorthKechris:Rigidity] Go to document G. Hjorth and A. S. Kechris, "Rigidity theorems for actions of product groups and countable Borel equivalence relations," Mem. Amer. Math. Soc., vol. 177, iss. 833, p. viii, 2005.
    @ARTICLE{HjorthKechris:Rigidity, mrkey = {2155451},
      number = {833},
      issn = {0065-9266},
      author = {Hjorth, Greg and Kechris, Alexander S.},
      mrclass = {03E15 (28D15 37A15 37A20)},
      doi = {10.1090/memo/0833},
      journal = {Mem. Amer. Math. Soc.},
      zblnumber = {1094.37002},
      volume = {177},
      mrnumber = {2155451},
      fjournal = {Memoirs of the American Mathematical Society},
      mrreviewer = {Bachir Bekka},
      coden = {MAMCAU},
      title = {Rigidity theorems for actions of product groups and countable {B}orel equivalence relations},
      year = {2005},
      pages = {viii+109},
      }
  • [JacksonKechrisLouveau] Go to document S. Jackson, A. S. Kechris, and A. Louveau, "Countable Borel equivalence relations," J. Math. Log., vol. 2, iss. 1, pp. 1-80, 2002.
    @ARTICLE{JacksonKechrisLouveau, mrkey = {1900547},
      number = {1},
      issn = {0219-0613},
      author = {Jackson, S. and Kechris, A. S. and Louveau, A.},
      mrclass = {03E15 (22A05)},
      doi = {10.1142/S0219061302000138},
      journal = {J. Math. Log.},
      zblnumber = {1008.03031},
      volume = {2},
      mrnumber = {1900547},
      fjournal = {Journal of Mathematical Logic},
      mrreviewer = {Otmar Spinas},
      title = {Countable {B}orel equivalence relations},
      year = {2002},
      pages = {1--80},
      }
  • [Kechris] Go to document A. S. Kechris, Classical Descriptive Set Theory, New York: Springer-Verlag, 1995, vol. 156.
    @BOOK{Kechris, mrkey = {1321597},
      author = {Kechris, Alexander S.},
      mrclass = {03E15 (03-01 03-02 04A15 28A05 54H05 90D44)},
      series = {Grad. Texts in Math.},
      address = {New York},
      isbn = {0-387-94374-9},
      publisher = {Springer-Verlag},
      doi = {10.1007/978-1-4612-4190-4},
      zblnumber = {0819.04002},
      volume = {156},
      mrnumber = {1321597},
      mrreviewer = {Jakub Jasi{ń}ski},
      title = {Classical Descriptive Set Theory},
      year = {1995},
      pages = {xviii+402},
      }
  • [KechrisLouveau] Go to document A. S. Kechris and A. Louveau, "The classification of hypersmooth Borel equivalence relations," J. Amer. Math. Soc., vol. 10, iss. 1, pp. 215-242, 1997.
    @ARTICLE{KechrisLouveau, mrkey = {1396895},
      number = {1},
      issn = {0894-0347},
      author = {Kechris, Alexander S. and Louveau, Alain},
      mrclass = {03E15 (04A05 04A15 54H05)},
      doi = {10.1090/S0894-0347-97-00221-X},
      journal = {J. Amer. Math. Soc.},
      zblnumber = {0865.03039},
      volume = {10},
      mrnumber = {1396895},
      fjournal = {Journal of the American Mathematical Society},
      mrreviewer = {Marion Scheepers},
      title = {The classification of hypersmooth {B}orel equivalence relations},
      year = {1997},
      pages = {215--242},
      }
  • [KechrisMiller] Go to document A. S. Kechris and B. D. Miller, Topics in Orbit Equivalence, New York: Springer-Verlag, 2004, vol. 1852.
    @BOOK{KechrisMiller, mrkey = {2095154},
      author = {Kechris, Alexander S. and Miller, Benjamin D.},
      mrclass = {37A15 (03E15 28D15 37A20)},
      series = {Lecture Notes in Math.},
      address = {New York},
      isbn = {3-540-22603-6},
      publisher = {Springer-Verlag},
      doi = {10.1007/b99421},
      zblnumber = {1058.37003},
      volume = {1852},
      mrnumber = {2095154},
      mrreviewer = {Bachir Bekka},
      title = {Topics in Orbit Equivalence},
      year = {2004},
      pages = {x+134},
      }
  • [LouveauVelickovic] Go to document A. Louveau and B. Velivcković, "A note on Borel equivalence relations," Proc. Amer. Math. Soc., vol. 120, iss. 1, pp. 255-259, 1994.
    @ARTICLE{LouveauVelickovic, mrkey = {1169042},
      number = {1},
      issn = {0002-9939},
      author = {Louveau, Alain and Veli{\v{c}}kovi{ć},
      Boban},
      mrclass = {54H05 (04A15)},
      doi = {10.2307/2160193},
      journal = {Proc. Amer. Math. Soc.},
      zblnumber = {0794.04002},
      volume = {120},
      mrnumber = {1169042},
      fjournal = {Proceedings of the American Mathematical Society},
      coden = {PAMYAR},
      title = {A note on {B}orel equivalence relations},
      year = {1994},
      pages = {255--259},
      }
  • [Miller:Measures] Go to document B. Miller, "The existence of measures of a given cocycle. II. Probability measures," Ergodic Theory Dynam. Systems, vol. 28, iss. 5, pp. 1615-1633, 2008.
    @ARTICLE{Miller:Measures, mrkey = {2449547},
      number = {5},
      issn = {0143-3857},
      author = {Miller, Benjamin},
      mrclass = {37A20 (28D20 37B05)},
      doi = {10.1017/S0143385707001125},
      journal = {Ergodic Theory Dynam. Systems},
      zblnumber = {1209.37006},
      volume = {28},
      mrnumber = {2449547},
      fjournal = {Ergodic Theory and Dynamical Systems},
      mrreviewer = {Konstantin Medynets},
      title = {The existence of measures of a given cocycle. {II}. {P}robability measures},
      year = {2008},
      pages = {1615--1633},
      }
  • [Miller:Hjorth] Go to document B. Miller, "Incomparable treeable equivalence relations [companion paper to \mr2950193]," J. Math. Log., vol. 12, iss. 1, p. 1250004, 2012.
    @ARTICLE{Miller:Hjorth, mrkey = {2950194},
      number = {1},
      issn = {0219-0613},
      author = {Miller, Benjamin},
      mrclass = {03E15 (37A20)},
      doi = {10.1142/S0219061312500043},
      journal = {J. Math. Log.},
      zblnumber = {06078208},
      volume = {12},
      mrnumber = {2950194},
      fjournal = {Journal of Mathematical Logic},
      mrreviewer = {Miroslav Repick{ý}},
      title = {Incomparable treeable equivalence relations [companion paper to \mr{2950193}]},
      year = {2012},
      pages = {1250004, 11},
      }
  • [Nadkarni] M. G. Nadkarni, Basic Ergodic Theory, Second ed., Basel: Birkhäuser, 1998.
    @BOOK{Nadkarni, mrkey = {1725389},
      author = {Nadkarni, M. G.},
      mrclass = {28Dxx (28D05 37Axx)},
      series = {Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]},
      edition = {Second},
      isbn = {3-7643-5816-5},
      address = {Basel},
      publisher = {Birkhäuser},
      zblnumber = {0908.28014},
      mrnumber = {1725389},
      title = {Basic Ergodic Theory},
      year = {1998},
      pages = {x+149},
      }
  • [Rosendal:Notices] C. Rosendal, "Descriptive classification theory and separable Banach spaces," Notices Amer. Math. Soc., vol. 58, iss. 9, pp. 1251-1262, 2011.
    @ARTICLE{Rosendal:Notices, mrkey = {2868100},
      number = {9},
      issn = {0002-9920},
      author = {Rosendal, Christian},
      mrclass = {46-02 (03E15)},
      journal = {Notices Amer. Math. Soc.},
      zblnumber = {1270.46010},
      volume = {58},
      mrnumber = {2868100},
      fjournal = {Notices of the American Mathematical Society},
      mrreviewer = {Matias Raja},
      coden = {AMNOAN},
      title = {Descriptive classification theory and separable {B}anach spaces},
      year = {2011},
      pages = {1251--1262},
      }
  • [Sabok] Go to document M. Sabok, "Completeness of the isomorphism problem for separable $ C^\ast$-algebras," Invent. Math., vol. 204, iss. 3, pp. 833-868, 2016.
    @ARTICLE{Sabok, mrkey = {3502066},
      number = {3},
      issn = {0020-9910},
      author = {Sabok, Marcin},
      mrclass = {03E15 (46A55 46L35)},
      doi = {10.1007/s00222-015-0625-5},
      journal = {Invent. Math.},
      zblnumber = {06592996},
      volume = {204},
      mrnumber = {3502066},
      fjournal = {Inventiones Mathematicae},
      title = {Completeness of the isomorphism problem for separable {$\rm C\sp \ast$}-algebras},
      year = {2016},
      pages = {833--868},
      }
  • [Segal] M. Segal, Hyperfiniteness, 1997.
    @misc{Segal,
      author={Segal, M.},
      note = {{Ph.D}. thesis, {H}ebrew {U}niversity, {J}erusalem, {I}srael},
      title = {Hyperfiniteness},
      year = {1997},
      }
  • [Silver] Go to document J. H. Silver, "Counting the number of equivalence classes of Borel and coanalytic equivalence relations," Ann. Math. Logic, vol. 18, iss. 1, pp. 1-28, 1980.
    @ARTICLE{Silver, mrkey = {0568914},
      number = {1},
      issn = {0003-4843},
      author = {Silver, Jack H.},
      mrclass = {03E15},
      doi = {10.1016/0003-4843(80)90002-9},
      journal = {Ann. Math. Logic},
      zblnumber = {0517.03018},
      volume = {18},
      mrnumber = {0568914},
      fjournal = {Annals of Mathematical Logic},
      mrreviewer = {Keith Devlin},
      coden = {AMLOAD},
      title = {Counting the number of equivalence classes of {B}orel and coanalytic equivalence relations},
      year = {1980},
      pages = {1--28},
      }
  • [SlamanSteel] Go to document T. A. Slaman and J. R. Steel, "Definable functions on degrees," in Cabal Seminar 81–85, New York: Springer-Verlag, 1988, vol. 1333, pp. 37-55.
    @INCOLLECTION{SlamanSteel, mrkey = {0960895},
      author = {Slaman, Theodore A. and Steel, John R.},
      mrclass = {03D30 (03E60)},
      series = {Lecture Notes in Math.},
      address = {New York},
      publisher = {Springer-Verlag},
      doi = {10.1007/BFb0084969},
      zblnumber = {0677.03038},
      volume = {1333},
      mrnumber = {0960895},
      booktitle = {Cabal {S}eminar 81--85},
      mrreviewer = {Peter G. Hinman},
      title = {Definable functions on degrees},
      pages = {37--55},
      year = {1988},
      }
  • [Thomas] S. Thomas, "Some applications of superrigidity to Borel equivalence relations," in Set Theory, Providence, RI: Amer. Math. Soc., 2002, vol. 58, pp. 129-134.
    @INCOLLECTION{Thomas, mrkey = {1903855},
      author = {Thomas, Simon},
      mrclass = {03E15 (28D15 37A20)},
      series = {DIMACS Ser. Discrete Math. Theoret. Comput. Sci.},
      address = {Providence, RI},
      publisher = {Amer. Math. Soc.},
      zblnumber = {1025.03043},
      volume = {58},
      mrnumber = {1903855},
      booktitle = {Set Theory},
      mrreviewer = {Arlan Ramsay},
      venue = {{P}iscataway, {NJ},
      1999},
      title = {Some applications of superrigidity to {B}orel equivalence relations},
      pages = {129--134},
      year = {2002},
      }
  • [Thomas:JAMS] Go to document S. Thomas, "The classification problem for torsion-free abelian groups of finite rank," J. Amer. Math. Soc., vol. 16, iss. 1, pp. 233-258, 2003.
    @ARTICLE{Thomas:JAMS, mrkey = {1937205},
      number = {1},
      issn = {0894-0347},
      author = {Thomas, Simon},
      mrclass = {20K15 (03E15 37A20)},
      doi = {10.1090/S0894-0347-02-00409-5},
      journal = {J. Amer. Math. Soc.},
      zblnumber = {1021.03043},
      volume = {16},
      mrnumber = {1937205},
      fjournal = {Journal of the American Mathematical Society},
      mrreviewer = {David M. Arnold},
      title = {The classification problem for torsion-free abelian groups of finite rank},
      year = {2003},
      pages = {233--258},
      }
  • [Thomas:ICM] S. Thomas, "Borel superrigidity and the classification problem for the torsion-free abelian groups of finite rank," in International Congress of Mathematicians. Vol. II, Zürich: Eur. Math. Soc., 2006, pp. 93-116.
    @INCOLLECTION{Thomas:ICM, mrkey = {2275590},
      author = {Thomas, Simon},
      mrclass = {20K15 (03E15 37A20)},
      address = {Zürich},
      publisher = {Eur. Math. Soc.},
      zblnumber = {1104.03043},
      mrnumber = {2275590},
      booktitle = {International {C}ongress of {M}athematicians. {V}ol. {II}},
      mrreviewer = {Fred Richman},
      title = {Borel superrigidity and the classification problem for the torsion-free abelian groups of finite rank},
      pages = {93--116},
      year = {2006},
      }

Authors

Clinton T. Conley

Carnegie Mellon University, Pittsburgh, PA

Benjamin D. Miller

Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Vienna, Austria