中文标题#
约束满足问题，紧致性与不可测集
英文标题#
Constraint satisfaction problems, compactness and non-measurable sets
中文摘要#
如果对于同类型的任何无限关系结构 B，从 B 到 A 的同态的存在性等价于 B 的所有有限子结构到 A 的同态的存在性，那么有限的关系结构 A 被称为紧致的。 我们证明，如果 A 具有宽度一，则在 Zermelo 和 Fraenkel 的公理系统中可以证明 A 的紧致性，否则，A 的紧致性意味着三维空间中存在不可测集。
英文摘要#
A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to A. We show that if A has width one, then the compactness of A can be proved in the axiom system of Zermelo and Fraenkel, but otherwise, the compactness of A implies the existence of non-measurable sets in 3-space.
文章页面#
PDF 获取#
抖音扫码查看更多精彩内容