Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2011

Preprint Number 2011

Previous Next Preprint server

2011. James Hanson
Topometric characterization of type spaces in continuous logic

Submission date: 24 June 2021


We show that a topometric space X is topometrically isomorphic to a type space of some continuous first-order theory if and only if X is compact and has an open metric (i.e., satisfies that { p : d(p,U) < ε } is open for every open U and ε > 0). Furthermore, we show that this can always be accomplished with a stable theory.

Mathematics Subject Classification: 03C66

Keywords and phrases:

Full text arXiv arXiv:2106.13261: pdf, ps.

Last updated: June 28 2021 11:35 Please send your corrections to: