The universal homogeneous binary tree
Bodirsky, Bradley-Williams, Pinsker, Pongrácz · math.LO,cs.CC,math.CO · 2016-11-12 · 原文
A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which we denote by S2. We study the reducts of S2, that is, the relational structures with the same domain as S2 all of whose relations are first-order definable in S2. Our main result is a classification of the model-complete cores of the reducts of S2. From this, we also obtain a classification of reducts up to first-order interdefinability, which is equivalent to a classification of all closed permutation groups that contain the automorphism group of S2.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound.
There exists, up to isomorphism, a unique countable existentially closed semilinear order, which we denote by S2.
2. 领域脉络
本文类目：math.LO、cs.CC、math.CO，属于其所在研究脉络的最新进展。
3. 机制拆解
摘要未展开方法细节——精读时重点看方法/模型部分。
4. 证据与数字
We study the reducts of S2, that is, the relational structures with the same domain as S2 all of whose relations are first-order definable in S2.
Our main result is a classification of the model-complete cores of the reducts of S2.
From this, we also obtain a classification of reducts up to first-order interdefinability, which is equivalent to a classification of all closed permutation groups that contain the automorphism group of S2.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
横跨 3 个类目（math.LO、cs.CC、math.CO），关注其在你兴趣板块间的迁移面。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。