Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-05-17T13:14:50.032Z Has data issue: false hasContentIssue false
  • English
  • Français

Injectives in finitely generated universal Horn classes

Published online by Cambridge University Press:  12 March 2014

Michael H. Albert  and
Ross Willard
Michael H. Albert
Affiliation:
Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
Ross Willard
Affiliation:
Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
Get access Rights & Permissions [Opens in a new window]

Abstract

Let K be a finite set of finite structures. We give a syntactic characterization of the property: every element of K is injective in ISP(K). We use this result to establish that is injective in ISP( ) for every two-element algebra .

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 3 , September 1987 , pp. 786 - 792
Copyright
Copyright © Association for Symbolic Logic 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

Research supported by an NSERC postdoctoral fellowship.

2

Research supported by an Ontario graduate scholarship.

References

REFERENCES

[1] Albert, M. H., A preservation theorem for ec-structures with applications, this Journal, vol. 52 (1987), pp. 779–785.Google Scholar
[2] Bacsich, P. D., Amalgamation properties and interpolation theorems for equational theories, Algebra Universalis, vol. 5 (1975), pp. 45–55.CrossRefGoogle Scholar
[3] Balbes, R. and Dwinger, P., Distributive lattices, University of Missouri Press, Columbia, Missouri, 1974.Google Scholar
[4] Bruns, G. and Lakser, H., Injective hulls of semilattices, Canadian Mathematical Bulletin, vol. 13 (1970), pp. 115–118.CrossRefGoogle Scholar
[5] Burris, S. and Werner, H., Sheaf constructions and their elementary properties, Transactions of the American Mathematical Society, vol. 248 (1979), pp. 267–307.CrossRefGoogle Scholar
[6] Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[7] Lyndon, R. C., Identities in two-valued calculi, Transactions of the American Mathematical Society, vol. 71 (1951), pp. 457–465.CrossRefGoogle Scholar
[8] Macintyre, A., Model completeness, Handbook of mathematical logic (Barwise, J., editor), North-Holland, Amsterdam, 1977, pp. 139–180.CrossRefGoogle Scholar
[9] Post, E., Two-valued iterative systems of mathematical logic, Princeton University Press, Princeton, New Jersey, 1941.Google Scholar
[10] Taylor, W., Pure compactifications in quasi-primal varieties, Canadian Journal of Mathematics, vol. 28 (1976), pp. 50–62.CrossRefGoogle Scholar