Title
Bounds On Scott Ranks Of Some Polish Metric Spaces
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 Chan135724.67