Representable sequential algebras and observation spaces
Peter Jipsen
We define the concepts of representable and abstract sequential Q-algebra, which are
generalizations of the (relational) Q-algebras
in [10]. Just as in that paper, we then prove that the
two concepts coincide. In the following section we recall the concept
of observation space and note that all complex algebras of observation
spaces are representable sequential algebras. Finally we give an
uncountable family of representable sequential algebras that generate
distinct minimal varieties (i.e. covers of the variety of one-element
algebras).
Journal on Relation Methods in Computer Science, Vol. 1, pp. 235-250,
2004