嵌入序下等价关系的良拟序与原子性可判定性

V. Ironmonger; N. Ruskuc

嵌入序下等价关系的良拟序与原子性可判定性

组合数学 2024-02-12 v4 信息论 math.IT

作者: V. Ironmonger , N. Ruskuc

摘要

我们考虑有限集上等价关系在标准形式嵌入序与连续嵌入序下的偏序集。在后者情形中，等价关系还被假定具有一个底层线性序，该线性序支配连续嵌入。对每个偏序集，我们提出良拟序与原子性的可判定性问题：给定有限多个等价关系 $\rho_1,\dots,\rho_k$ ，由所有不包含任一 $\rho_1,\dots,\rho_k$ 的等价关系构成的向下闭集 Av $(\rho_1,\dots,\rho_k)$ 是否：(a) 良拟序的，即它不包含无限反链？以及 (b) 原子的，即它不是两个真向下闭子集的并，或等价地，它满足联合嵌入性质？

关键词

等价关系嵌入序良拟序原子性可判定性偏序集联合嵌入性质

引用

@article{arxiv.2301.11048,
  title  = {Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings},
  author = {V. Ironmonger and N. Ruskuc},
  journal= {arXiv preprint arXiv:2301.11048},
  year   = {2024}
}

嵌入序下等价关系的良拟序与原子性可判定性

摘要

关键词

引用

相关论文