Classes of Polish Spaces Under Effective Borel Isomorphism

ISBN-13: 9781470415631 / Angielski

Vassilios Gregoriades

Opis

The author studies the equivalence classes under $Delta^1_1$ isomorphism, otherwise effective Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and he shows the existence of strictly increasing and strictly decreasing sequences as well as of infinite antichains under the natural notion of $Delta^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.

Spis treści

• Introduction
• The spaces $\mathcal^T$ Kleene spaces
• Characterizations of $\mathcal$ up to $\Delta^1_1$ isomorphism
• Spector-Gandy spaces
• Questions and related results
• Bibliography
• Index