Bounds on continuous Scott rank

DOI10.1090/PROC/15056MaRDI QIDQ5113420zbMATH OpenOpenAlexFDO

Authors

Publication date 11 June 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.00179

zbMATH Keywords

Scott rank, weak modules, pre-structures

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Descriptive set theory (03E15) Other infinitary logic (03C75)

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 $mathscrL$ be a language of continuous logic with code $hatmathscrL$. Let $Omega$ be a weak modulus of uniform continuity with code $hatOmega$. Let $mathcalD$ be a countable $mathscrL$-pre-structure. Let $$ denote the completion structure of $mathcalD$. Then $$, the Church-Kleene ordinal relative to $hatmathscrLoplushatOmegaoplusmathcalD$.

Recommendations

• Bounds on Scott rank for various nonelementary classes
• Scott ranks of models of a theory
• Scott rank of Polish metric spaces
• SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
• Metric Scott analysis

Cites work

• Admissible Sets and Structures
• An example concerning Scott heights
• Metric Scott analysis
• Model theory for metric structures
• Scott rank of Polish metric spaces
• Scott sentences and admissible sets

Cited in

(5)

• Bounds on weak scattering
• Scott rank of Polish metric spaces
• Bounds on Scott ranks of some polish metric spaces
• An introduction to the Scott complexity of countable structures and a survey of recent results
• Improving a bounding result that constructs models of high Scott rank

This page was built for publication: Bounds on continuous Scott rank

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5113420)