Доклад Даниила Рогозина "A survey of relation algebras"
26 ноября в 18.30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Institute for Information Transmission Problems, RAS. Laboratory of Algebra and Number Theory
will present the talk:
“A survey of relation algebras”
Relation algebras, a kind of Boolean algebras with operators (BAOs), have been introduced by Alfred Tarski to provide an algebraisation of binary relations. In this survey, we discuss several results about them. In particular, we focus on the questions of representability.A representation of a relation algebra is an isomorphism of a given algebra with some algebra of binary relations (relation set algebra). The problem is that there exist non-representable algebras. That is, we do not have a representation theorem, unlike Boolean algebras or groups. In this talk, we introduce representability back-and-forth games for relation algebras. We figure out how one can characterise representable relation algebras using those games.
ID: 956 6971 8556
(International laboratory for Logic, Linguistics and Formal Philosophy)