齐次二元分支 C-关系的归约
逻辑
2016-02-26 v2
摘要
设 (L;C) 为（在同构意义下唯一的）携带二元分支 C-关系的可数齐次结构。我们研究 (L;C) 的归约，即定义域为 L 且在 (L;C) 中一阶可定义的结构。我们证明，在存在性相互定义的意义下，此类归约只有有限个。这意味着在一阶相互定义的意义下归约也只有有限个，从而证实了 Simon Thomas 针对 (L;C) 这一特例提出的猜想。我们还研究了此类归约的自同态幺半群，并证明它们可归为四类。
引用
@article{arxiv.1408.2554,
title = {The Reducts of the Homogeneous Binary Branching C-relation},
author = {Manuel Bodirsky and Peter Jonsson and Trung Van Pham},
journal= {arXiv preprint arXiv:1408.2554},
year = {2016}
}
备注
39 pages, 4 figures