arXiv++ Combinatorics

Ramsey algebras is an attempt to investigate Ramsey spaces generated by algebras in a purely combinatorial fashion. Previous studies have focused on the basic properties of Ramsey algebras and the study of a few specific examples. In this article, we study the properties of Ramsey algebras from a structural point of view. For instance, we will see that isomorphic algebras have the same Ramsey algebraic properties, but elementarily equivalent algebras need not be so, as expected. Answer to a long-standing question about the Cartesian products of Ramsey algebras is also given.

Ramsey algebras are algebras that induce Ramsey spaces, which are generalizations of the Ellentuck space and Milliken's space. Previous work suggests a possible local version of Ramsey algebras induced by infinite sequences. Hence, we introduce a new structure called orderly algebra. Under our canonical setup, an algebra is Ramsey if and only if every of its induced orderly algebra is Ramsey. In this paper, we present justifications for this novel notion as a sound approach for further study on Ramsey algebras.