关于Kanalas连续实现类型问题的一个反例
A counterexample to Kanalas' problem of continuously realising types
首次发表
浏览论文内容
中文总结 AI 辅助
本文构造了一个相干理论、拓扑空间及类型的连续赋值，证明不存在对应层模型，从而否定回答了Kristóf Kanalas提出的连续实现类型的问题。
中文摘要 AI 辅助
我们给出一个相干理论、一个拓扑空间，以及该理论的（模型论）类型在空间各点上的连续赋值，使得不存在该空间上的该理论的层模型，满足作为集合论模型的点上纤维实现对应类型的性质；由此，我们否定回答了Kristóf Kanalas提出的一个问题。
英文摘要
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.
