<p>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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Fraïssé Limit and Ramsey Theorem: The Case of MV-Algebras and a Categorical Generalization

  • Ciro Russo

摘要

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.