Monomial ideals and independence of ISigma₂
classification
🧮 math.LO
keywords
mathrmtheoremidealsmaclaganmonomialsigmaclassifycombinatorial
read the original abstract
We show that a miniaturised version of Maclagan's theorem on monomial ideals is equivalent to $\mathrm{1}{-}\mathrm{Con}(\mathrm{I}\Sigma_2)$ and classify a phase transition threshold for this theorem. This work highlights the combinatorial nature of Maclagan's theorem.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.