Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization

2025/01/24 by Russo, Ciro
#Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2501.14688

Abstract

In this paper we describe the Fraïssé limit of finite MV-algebras and then prove that finite MV-algebras verify the Ramsey property. Then we show that MV-algebras are just a special case of a more general situation. In fact, under minumum conditions for the application of the Kechris-Pestov-Todorcevic correspondence, Ramsey property holds for a certain category of finite structures if and only if it holds for a completion subcategory of it.

Related

• A Fraïssé theory for partial orders of a fixed finite dimension
• The Fraïssé limit of matrix algebras with the rank metric
• Finite Ramsey degrees and Fraïssé expansions with the Ramsey property
• Infinite-dimensional Ramsey theory for binary free amalgamation classes
• Dual Ramsey properties for classes of algebras