单项式理想与 $\mathrm{I}\Sigma_2$ 的独立性
逻辑
2018-08-03 v1
摘要
我们证明了 Maclagan 关于单项式理想定理的小型化版本等价于 ,并分类了该定理的相变阈值。这项工作凸显了 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}
}