

























Abstract: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.
From: Claude Tardif [view email]
[v1]
Wed, 20 Aug 2025 16:41:04 UTC (20 KB)
[v2]
Fri, 6 Mar 2026 00:11:49 UTC (20 KB)
[v3]
Wed, 24 Jun 2026 14:27:53 UTC (21 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。