Representable sequential algebras and observation spaces
Peter Jipsen · 2004
Abstract. 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). 1