Bounds on continuous Scott rank

DOI10.1090/PROC/15056zbMATH Open1476.03045arXiv1908.00179OpenAlexW3007018745MaRDI QIDQ5113420FDOQ5113420

Author name not available (Why is that?)

Publication date: 11 June 2020

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

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$.

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

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

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)

Cites Work

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

Cited In (3)

• 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

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)