Logic and Analysis

, 1:235

Topometric spaces and perturbations of metric structures

  • Itaï Ben Yaacov
Article

DOI: 10.1007/s11813-008-0009-x

Cite this article as:
Ben Yaacov, I. Log Anal (2008) 1: 235. doi:10.1007/s11813-008-0009-x

Abstract

We develop the general theory of topometric spaces, i.e., topological spaces equipped with a well-behaved lower semi-continuous metric. Spaces of global and local types in continuous logic are the motivating examples for the study of such spaces. In particular, we develop Cantor-Bendixson analysis of topometric spaces, which can serve as a basis for the study of local stability (extending the ad hoc development in Ben Yaacov I and Usvyatsov A, Continuous first order logic and local stability. Trans Am Math Soc, in press), as well as of global \({\aleph_0}\)-stability. We conclude with a study of perturbation systems (see Ben Yaacov I, On perturbations of continuous structures, submitted) in the formalism of topometric spaces. In particular, we show how the abstract development applies to \({\aleph_0}\)-stability up to perturbation.

Keywords

Topometric spacesContinuous logicType spacesCantor-Bendixson rankPerturbation

Mathematics Subject Classification (2000)

03C9503C9003C4554H99

Copyright information

© Springer-Verlag 2008

Authors and Affiliations

  • Itaï Ben Yaacov
    • 1
  1. 1.Université de Lyon, Université Lyon 1Institut Camille Jordan, CNRS UMR 5208Villeurbanne CedexFrance