Dynamic algebras with test (Q1095141)

The paper contributes to the so far developed theory of regular dynamic algebras [for a survey see, e.g., \textit{D. Kozen}, Lect. Notes Comput. Sci. 125, 1-11 (1981; Zbl 0482.03008)]. Test algebras provide an algebraic abstraction capturing logical aspects of if-then-else and while-do like programming constructs. Most results on dynamic algebras extend directly to test algebras. The paper investigates results which require more subtle argumentation and results which do not hold in the case of dynamic algebras. The following main results are proven: every free algebra in the equational class generated by separable test algebras is isomorphic to a Kripke test structure; free separable test algebras over finitely many generators do not exist; epimorphisms in the equational class generated by separable dynamic or test algebras are not necessarily surjective.