Categoricity theorem for metric structures
Abstract
We prove the analogue of Morley's theorem for the class of
almost elementary complete submodels of a "monster" metric space.
This is the main result of my PhD thesis,
written under the supervision of Saharon Shelah.