Speaker:
Institution:
Time:
Host:
Location:
Metric spaces and metric structures viewed from a model-theoretic perspective have attracted considerable attention in recent years. When the analogue of Scott's analysis is developed in the setting of continuous model theory, the rank of complete separable metric spaces (and structures) in continuous logic is always countable; this was done by Ben Yaacov, Doucha, Nies and Tsankov. An interesting problem arises if we equip a metric space with a natural, but classical, model-theoretic structure instead of a continuous logic structure. This situation was investigated by Fokina, Friedman, Koerwien and Nies (FFKN), and these authors asked if the Scott rank of complete, separable metric space in this way is always countable. In this talk I will give an example of a complete separable metric space which has Scott rank omega_1 when it is viewed as a classical model-theoretic structure as FFKN did. I will also say something about the proof, which is somewhat unusual because of it uses a fair amount of "serious" set theory.
