No CrossRef data available.
Article contents
Injectives in finitely generated universal Horn classes
Published online by Cambridge University Press: 12 March 2014
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
- Copyright
- Copyright © Association for Symbolic Logic 1987
Footnotes
Research supported by an NSERC postdoctoral fellowship.
Research supported by an Ontario graduate scholarship.