A counterexample to Kanalas' problem of continuously realising types

Morgan Rogers, Joshua Wrigley

We give an example of a coherent theory, a topological space, and a continuous assignment of the (model-theoretic) types of the theory to the points of the space, such that there i…