Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bostic, Ashlee"'
The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost all'' finite
Externí odkaz:
http://arxiv.org/abs/2403.15939