Some Hierarchies of QCB_0-Spaces
Logic in Computer Science
2013-04-08 v1 Logic
Abstract
We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into the domain P\omega, and hierarchies of spaces (not necessarily countably based) induced by their admissible representations. We concentrate on the non-collapse property of the hierarchies and on the relationships between hierarchies in the two classes.
Keywords
Cite
@article{arxiv.1304.1647,
title = {Some Hierarchies of QCB_0-Spaces},
author = {Matthias Schroeder and Victor Selivanov},
journal= {arXiv preprint arXiv:1304.1647},
year = {2013}
}
Comments
24 pages