Abstract | ||
---|---|---|
If N is a proper Polish metric space and M is any countable dense submetric space of N, then the Scott rank of N in the natural first-order language of metric spaces is countable and in fact at most omega(M)(1) + 1, where omega(M)(1) is the Church-Kleene ordinal of M (construed as a subset of.) which is the least ordinal with no presentation on omega computable from M. If N is a rigid Polish metric space and M is any countable dense submetric space, then the Scott rank of N is countable and in fact less than omega(M)(1). |
Year | DOI | Venue |
---|---|---|
2021 | 10.1142/S021906132150001X | JOURNAL OF MATHEMATICAL LOGIC |
Keywords | DocType | Volume |
Admissible sets, Scott ranks, polish metric spaces | Journal | 21 |
Issue | ISSN | Citations |
1 | 0219-0613 | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
William Chan | 1 | 357 | 24.67 |