Monomial ideals and independence of

DOI10.1002/malq.201500035zbMath1437.03166arXiv1603.03509OpenAlexW3122737432MaRDI QIDQ5108088

Florian Pelupessy

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.03509

Mathematics Subject Classification ID

Partial orders, general (06A06) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) First-order arithmetic and fragments (03F30) Ramsey theory (05D10) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Unnamed Item
• Unnamed Item
• Handbook of proof theory
• Proof theory. An introduction
• Antichains of monomial ideals are finite
• Independence of Ramsey theorem variants using $\varepsilon _0$
• On the lengths of bad sequences of monomial ideals over polynomial rings
• Orderings of monomial ideals
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• Logical Approaches to Computational Barriers
• Proof theory

This page was built for publication: Monomial ideals and independence of