Fraïssé Limit and Ramsey Theorem: The Case of MV-Algebras and a Categorical Generalization
摘要
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 minimum 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.