Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-19T17:10:16.179Z Has data issue: false hasContentIssue false
  • English
  • Français

A preservation theorem for ec-structures with applications

Published online by Cambridge University Press:  12 March 2014

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

Abstract

We characterize the model companions of universal Horn classes generated by a two-element algebra (or ordered two-element algebra). We begin by proving that given two mutually model consistent classes M and N of (respectively ) structures, with , , provided that an -definability condition for the function and relation symbols of holds. We use this, together with Post's characterization of ISP(A), where A is a two-element algebra, to show that the model companions of these classes essentially lie in the classes of posets and semilattices, or characteristic two groups and relatively complemented distributive lattices.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 3 , September 1987 , pp. 779 - 785
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.)

References

REFERENCES

[1] Albert, M. H. and Burris, S., Finite axiomatisations for exponentially closed posets and semilattices, Order, vol. 3 (1986), pp. 169–178.CrossRefGoogle Scholar
[2] Bacsich, P. and Hughes, D. Rowlands, Syntactic characterisations of amalgamation, convexity and related properties, this Journal, vol. 39 (1974), pp. 433–451.Google Scholar
[3] Burris, S., Model companions for finitely generated universal Horn classes, this Journal, vol. 49 (1984), pp. 68–74.Google Scholar
[4] 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
[5] Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[6] Lyndon, R. C., Identities in two-valued calculi, Transactions of the American Mathematical Society, vol. 71 (1951), pp. 457–465.CrossRefGoogle Scholar
[7] Macintyre, A., Model completeness, Handbook of mathematical logic (Barwise, J., editor), North-Holland, Amsterdam, 1977, pp. 139–180.CrossRefGoogle Scholar
[8] Post, E., Two-valued iterative systems of mathematical logic, Princeton University Press, Princeton, New Jersey, 1941.Google Scholar