2015/11/19 by Teh, Wen Chean, Teoh, Zu Yao
#03B80 #05A17 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1511.06048
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.