Core Concepts
Characterizing finite relation algebras and determining their representability over different sets.
Stats
All finite relation algebras with three or fewer atoms are representable.
Relation algebra 3265 has known representations over different point sizes, ranging from 26 to 1024.
Quotes
"It is conjectured that 'almost all' finite algebras are representable."
"A recent result by Koussas is that the class of atom structures of finite integral symmetry relation algebras obeys a 0-1 law."
"The proofs employ constructions, SAT solvers, and the probabilistic method."