Bounds on Scott ranks of some polish metric spaces

IF 0.9 1区数学 Q1 LOGIC

Journal of Mathematical Logic Pub Date : 2019-06-11 DOI:10.1142/s021906132150001x

William Chan

引用次数: 2

Abstract

If [Formula: see text] is a proper Polish metric space and [Formula: see text] is any countable dense submetric space of [Formula: see text], then the Scott rank of [Formula: see text] in the natural first-order language of metric spaces is countable and in fact at most [Formula: see text], where [Formula: see text] is the Church–Kleene ordinal of [Formula: see text] (construed as a subset of [Formula: see text]) which is the least ordinal with no presentation on [Formula: see text] computable from [Formula: see text]. If [Formula: see text] is a rigid Polish metric space and [Formula: see text] is any countable dense submetric space, then the Scott rank of [Formula: see text] is countable and in fact less than [Formula: see text].

查看原文本刊更多论文

一些波兰度量空间的斯科特阶的边界

如果[公式:见文]是一个适当的波兰度量空间，而[公式:见文]是[公式:见文]的任何可数稠密子度量空间，那么[公式:见文]在度量空间的自然一阶语言中的Scott秩是可数的，实际上至多[公式:见文]，其中[公式:见文]是[公式:见文]的Church-Kleene序数(解释为[公式:见文]的一个子集)，它是没有表示的最小序数[公式:见文]:可由[公式:见文本]计算的。如果[Formula: see text]是一个严格的波兰度量空间，而[Formula: see text]是任何可数的密集子度量空间，那么[Formula: see text]的Scott秩是可数的，实际上小于[Formula: see text]。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Mathematical Logic MATHEMATICS-LOGIC

CiteScore

1.60

自引率

11.10%

发文量

审稿时长

>12 weeks

期刊介绍： The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.