Monomial ideals and independence of $\mathrm{I}\Sigma_2$
Logic
2018-08-03 v1
Abstract
We show that a miniaturised version of Maclagan's theorem on monomial ideals is equivalent to and classify a phase transition threshold for this theorem. This work highlights the combinatorial nature of Maclagan's theorem.
Keywords
Cite
@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}
}