Coding Polish spaces
Logic
2020-07-07 v1
Abstract
We use countable metric spaces to code Polish metric spaces and evaluate the complexity of some statements about these codes and of some relations that can be determined by the codes. Also, we propose a coding for continuous functions between Polish metric spaces.
Keywords
Cite
@article{arxiv.1703.05470,
title = {Coding Polish spaces},
author = {Diego Alejandro Mejía},
journal= {arXiv preprint arXiv:1703.05470},
year = {2020}
}
Comments
9 pages, RIMS Set Theory Workshop: Mathematical Logic and Its Applications . September 26-29, 2016, Kyoto University, Japan. To appear in Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku