中文

单项式理想与 $\mathrm{I}\Sigma_2$ 的独立性

逻辑 2018-08-03 v1

摘要

我们证明了 Maclagan 关于单项式理想定理的小型化版本等价于 1Con(IΣ2)\mathrm{1}{-}\mathrm{Con}(\mathrm{I}\Sigma_2),并分类了该定理的相变阈值。这项工作凸显了 Maclagan 定理的组合本质。

关键词

引用

@article{arxiv.1603.03509,
  title  = {Monomial ideals and independence of $\mathrm{I}\Sigma_2$},
  author = {Florian Pelupessy},
  journal= {arXiv preprint arXiv:1603.03509},
  year   = {2018}
}