Bounds on continuous Scott rank

Abstract

An analog of Nadel's effective bound for the continuous Scott rank of metric structures, developed by Ben Yaacov, Doucha, Nies, and Tsankov, will be established: Let $\mathscr{L}$ be a language of continuous logic with code $\hat{\mathscr{L}}$. Let $\Omega$ be a weak modulus of uniform continuity with code $\hat{\Omega}$. Let $\mathcal{D}$ be a countable $\mathscr{L}$-pre-structure. Let $\bar{\mathcal{D}}$ denote the completion structure of $\mathcal{D}$. Then $\mathrm{SR}_\Omega(\bar{D}) \leq \omega_1^{\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D}}$, the Church-Kleene ordinal relative to $\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D}$.