pith. the verified trust layer for science. sign in

arxiv: 1906.04351 · v1 · pith:QQUFIPIFnew · submitted 2019-06-11 · 🧮 math.LO

Bounds on Scott Ranks of Some Polish Metric Spaces

classification 🧮 math.LO
keywords mathcalomegacountablemetricspacepolishscottdense
0
0 comments X p. Extension
Add this Pith Number to your LaTeX paper What is a Pith Number?
\usepackage{pith}
\pithnumber{QQUFIPIF}

Prints a linked pith:QQUFIPIF badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

read the original abstract

If $\mathcal{N}$ is a proper Polish metric space and $\mathcal{M}$ is any countable dense submetric space of $\mathcal{N}$, then the Scott rank of $\mathcal{N}$ in the natural first order language of metric spaces is countable and in fact at most $\omega_1^{\mathcal{M}} + 1$, where $\omega_1^{\mathcal{M}}$ is the Church-Kleene ordinal of $\mathcal{M}$ (construed as a subset of $\omega$) which is the least ordinal with no presentation on $\omega$ computable from $\mathcal{M}$. If $\mathcal{N}$ is a rigid Polish metric space and $\mathcal{M}$ is any countable dense submetric space, then the Scott rank of $\mathcal{N}$ is countable and in fact less than $\omega_1^{\mathcal{M}}$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.