How to Order

For AMS eBook frontlist subscriptions or backfile collection purchases:

   1a. To purchase any ebook backfile or to subscibe to the current year of Contemporary Mathematics, please download this required license agreement,

   1b. To subscribe to the current year of Memoirs of the AMS, please download this required license agreement.

   2. Complete and sign the license agreement.

   3. Email, fax, or send via postal mail to:

Customer Services
American Mathematical Society
201 Charles Street Providence, RI 02904-2213  USA
Phone: 1-800-321-4AMS (4267)
Fax: 1-401-455-4046

Visit the AMS Bookstore for individual volume purchases.

Browse the current eBook Collections price list

Powered by MathJax
  Remote Access

Classes of Polish spaces under effective Borel isomorphism

About this Title

Vassilios Gregoriades

Publication: Memoirs of the American Mathematical Society
Publication Year: 2016; Volume 240, Number 1135
ISBNs: 978-1-4704-1563-1 (print); 978-1-4704-2822-8 (online)
Published electronically: October 9, 2015
Keywords:Recursively presented metric space, effective Borel isomorphism, $Δ^{1}_1$ isomorphism, $Δ^{1}_1$ injection, Kleene space, Spector-Gandy space.

View full volume PDF

View other years and numbers:

Table of Contents


  • Preface
  • Chapter 1. Introduction
  • Chapter 2. The spaces $\mathcal {N}^T$
  • Chapter 3. Kleene spaces
  • Chapter 4. Characterizations of $\mathcal {N}$ up to $\Delta ^1_1$ isomorphism
  • Chapter 5. Spector-Gandy spaces
  • Chapter 6. Questions and related results


We study the equivalence classes under $Δ^{1}_{1}$ isomorphism, otherwise effective Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and strictly decreasing sequences as well as of infinite antichains under the natural notion of $Δ^{1}_{1}$-reduction, as opposed to the non-effective case, where only two such classes exist, the one of the Baire space and the one of the naturals. A key tool for our study is a mapping $T \mapsto\mathcal N^{T}$ from the space of all trees on the naturals to the class of Polish spaces, for which every recursively presented space is $Δ^{1}_{1}$-isomorphic to some $\mathcal N^{T}$ for a recursive $T$, so that the preceding spaces are representatives for the classes of $Δ^{1}_{1}$ isomorphism. We isolate two large categories of spaces of the type $\mathcal N^{T}$, the Kleene spaces and the Spector-Gandy spaces and we study them extensively. Moreover we give results about hyperdegrees in the latter spaces and characterizations of the Baire space up to $Δ^{1}_{1}$ isomorphism.

References [Enhancements On Off] (What's this?)