Dynamic algebras: Examples, constructions, applications
This paper originally appeared more than a decade ago as a technical report to the Laboratory for Computer Science of MIT, and a shortened version of it has already been published under the title ``Dynamic algebra and the nature of induction'' in Proceedings of 12th ACM Symposium on Theory of Computation [Los Angeles, April 1980]. The principal changes to the original draft are the addition of footnotes and some sections at the end on retrospective citations and reflections. The main results of the paper are that the regular operation * is reflexive transitive closure, that free dynamic algebras are residually Boolean- finite, and that free dynamic algebras are residually finite.
scientific article; zbMATH DE number 58413
scientific article