Abstract:For each $n\geq 2$, we show that the class of all finite $n$-dimensional partial orders, when expanded with $n$ linear orders which realize the partial order, forms a Fraïssé class and identify its Fraïssé limit $(D_n,<,<_1,\ldots,<_n)$. We give a finite axiomatization of this limit which specifies it uniquely up to isomorphism among countable structures, show that its class of finite substructures satisfies the Ramsey property, and conclude, by the Kechris--Pestov--Todorčević correspondence, that the automorphism group of the limit is extremely amenable. We then identify the universal minimal flow of the automorphism group of the reduct $(D_n,<)$. Similar results are established for the $n$-dimensional rational grid $(\mathbb{Q}^n,<)$ and its expansion by the coordinate orders.
From: Iian Smythe [view email]
[v1]
Tue, 24 Dec 2024 23:34:00 UTC (27 KB)
[v2]
Tue, 14 Jan 2025 21:47:48 UTC (24 KB)
[v3]
Tue, 28 Jul 2026 19:33:17 UTC (34 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。