Abstract
We have seen in chapters 2 and 3 that a specification SPEC defines the class Alg(SPEC) of algebras for that specification. We have been able to single out a specific isomorphism class of algebras, the initial algebras, which due to their properties of being generated and typical can serve as favorite candidates for semantics of specification. That we could do so, is intrinsically a property of equations which we used as axioms in specifications. One could think of axioms other than equations, and allow Horn-clauses or even arbitrary first order formulas. It is indeed not obvious that initial algebras exist as models of a specification, and it is even possible to show that with arbitrary first order formulas as axioms aninitial algebra in the defined class of models not always exists.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B. (1985). Specificability and Characterization of Equational Classes. In: Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69962-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-69962-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-69964-1
Online ISBN: 978-3-642-69962-7
eBook Packages: Springer Book Archive