关于字典序乘积的最大序型

Mirna Džamonja; Isa Vialard

关于字典序乘积的最大序型

逻辑 2025-01-28 v2

作者: Mirna Džamonja , Isa Vialard

摘要

在先前提交的论文版本中（此处存档以供记录），我们陈述如下：“我们给出了Isa Vialard关于 $o(P\cdot Q)$ 公式的自包含证明，其中 $P$ 和 $Q$ 是wpos。该证明引入了偏序切割的概念，这可能具有独立的意义。”事实上，论文中提出的论证是错误的，Vialard公式尚无已知证明。我将尝试从[DzSS]论文中证明公式 $o(P\cdot Q)=o(P)\cdot o(Q)$ ，因为我相信预印本中提到的Altman所谓反例是不正确的。此声明由Mirna D\v{z}amonja撰写，未经Isa Vialard同意，后者可能持有不同观点。Mirna D\v{z}amonja已于2025年1月20日撤回其在该注释（IGPL）有条件接受版本中的作者身份。

关键词

maximal order type lexicographic product well partial order cut of partial order Vialard formula

引用

@article{arxiv.2409.09699,
  title  = {On maximal order type of the lexicographic product},
  author = {Mirna Džamonja and Isa Vialard},
  journal= {arXiv preprint arXiv:2409.09699},
  year   = {2025}
}

备注

An incorrect attribution to Abraham and Bonnet of the formula $o(P\cdot Q)=o(P)\cdot o(Q)$ was given in arxiv.org/abs/1711.00428 in MATH/LO

关于字典序乘积的最大序型

摘要

关键词

引用

备注

相关论文