Bounds on Scott Ranks of Some Polish Metric Spaces
Logic
2019-06-12 v1
Abstract
If is a proper Polish metric space and is any countable dense submetric space of , then the Scott rank of in the natural first order language of metric spaces is countable and in fact at most , where is the Church-Kleene ordinal of (construed as a subset of ) which is the least ordinal with no presentation on computable from . If is a rigid Polish metric space and is any countable dense submetric space, then the Scott rank of is countable and in fact less than .
Keywords
Cite
@article{arxiv.1906.04351,
title = {Bounds on Scott Ranks of Some Polish Metric Spaces},
author = {William Chan},
journal= {arXiv preprint arXiv:1906.04351},
year = {2019}
}