Monomial ideals and independence of I∑_2

摘要

We show that a miniaturised version of Maclagan's theorem on monomial ideals is equivalent to 1-Con(I∑_2) and classify a phase transition threshold for this theorem. This work highlights the combinatorial nature of Maclagan's theorem.