On the Effectiveness of Partition Regularity over Algebraic Structures
Logic
2026-01-14 v1
Abstract
Partition regularity over algebraic structures is a topic in Ramsey theory that has been extensively researched by combinatorialists. Motivated by recent work in this area, we investigate the computability-theoretic and reverse-mathematical aspects of partition regularity over algebraic structures--an area that, to the best of our knowledge, has not been explored before. This paper focuses on a 1975 theorem by Straus, which has played a significant role in many of the results in this field.
Cite
@article{arxiv.2504.09235,
title = {On the Effectiveness of Partition Regularity over Algebraic Structures},
author = {Gabriela Laboska},
journal= {arXiv preprint arXiv:2504.09235},
year = {2026}
}