Coding Polish spaces
arXiv:1703.05470
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.
arXiv comment9 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