Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-18T16:45:38.926Z Has data issue: false hasContentIssue false
  • English
  • Français

Model companions for finitely generated universal Horn classes

Published online by Cambridge University Press:  12 March 2014

Stanley Burris
Stanley Burris*
Affiliation:
University of Waterloo, Waterloo, Ontario, Canada N2L 3G1
Get access Rights & Permissions [Opens in a new window]

Abstract

In an earlier paper we proved that a universal Horn class generated by finitely many finite structures has a model companion. If the language has only finitely many fundamental operations then the theory of the model companion admits a primitive recursive elimination of quantifiers and is primitive recursive. The theory of the model companion is ℵ0-categorical iff it is complete iff the universal Horn class has the joint embedding property iff the universal Horn class is generated by a single finite structure. In the last section we look at structure theorems for the model companions of universal Horn classes generated by functionally complete algebras, in particular for the cases of rings and groups.

Keywords

Model companionuniversal Horn classelimination of quantifiersℵ0-categoricalcompletejoint embedding propertyfunctionally complete.
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 49 , Issue 1 , March 1984 , pp. 68 - 74
Copyright
Copyright © Association for Symbolic Logic 1984

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]Burris, S. and Sankappanavar, H. P., A course in universal algebra, Springer-Verlag, New York, 1981.CrossRefGoogle Scholar
[2]Burris, S. and Werner, H., Sheaf constructions and their elementary properties, Transactions of the American Mathematical Society, vol. 248 (1979), pp. 269–309.CrossRefGoogle Scholar
[3]Maurer, W. D. and Rhodes, J. F., A property of finite simple nonabelian groups, Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 552–554.CrossRefGoogle Scholar
[4]Robinson, A., Forcing in model theory, Actes du Congrès International des Mathématiciens (Nice, 1970), vol. 1, Gauthier-Villars, Paris, 1971, pp. 245–250.Google Scholar
[5]Werner, H., Congruences on products of algebras and functionally complete algebras, Algebra Universalis, vol. 4 (1974), pp. 99–105.CrossRefGoogle Scholar
[6]Wheeler, W. H., The first-order theory of N-colorable graphs, Transactions of the American Mathematical Society, vol. 250 (1979), pp. 289–310.Google Scholar