{"id":"arxiv/2608.25688","url":"https://arxiv.org/abs/2608.25688","tags":["math.LO","math.CT"],"score":0,"title":"A counterexample to Kanalas' problem of continuously realising types","domain":"math.LO","source":"arxiv","authors":["Morgan Rogers","Joshua Wrigley"],"reviews":0,"subject":"math.LO","summary":"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 is no sheaf model of the theory over the space with the property that the fibre over a point, as a set-based model, realises the corresponding type; thus, we answer in the negative a problem posed by Kristóf Kanalas.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}