Abstract

We prove that under reasonable assumptions, every cat is metric, and develop some of the theory of metric cats. We generalise Morley's theorem: if a countable Hausdorff cat T has a unique complete model of density character λ ≥ ω₁, then it has a unique complete model of density character λ for every λ ≥ ω₁.