Scifaro

中文

可嵌入分配格的偏序集不存在有限公理化

逻辑 2017-11-23 v5

作者: Rob Egrot

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

设 $m$ 和 $n$ 为基数且 $3\leq m,n\leq\omega$ 。我们证明，可以通过一个保持所有基数严格小于 $m$ 和 $n$ 的现有交与并的映射嵌入到分配格中的偏序集类，不能被有限公理化。

关键词

偏序集分配格有限公理化嵌入交与并

引用

@article{arxiv.1610.00858,
  title  = {No finite axiomatizations for posets embeddable into distributive lattices},
  author = {Rob Egrot},
  journal= {arXiv preprint arXiv:1610.00858},
  year   = {2017}
}

备注

Revised versions make minor changes to the exposition in some places