Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-28T00:55:29.207Z Has data issue: false hasContentIssue false
  • English
  • Français

Existentially closed algebras and boolean products

Published online by Cambridge University Press:  12 March 2014

Herbert H. J. Riedel
Herbert H. J. Riedel*
Affiliation:
The Citadel, Charleston, South Carolina 29409
Get access Rights & Permissions [Opens in a new window]

Abstract

A Boolean product construction is used to give examples of existentially closed algebras in the universal Horn class ISP(K) generated by a universal class K of finitely subdirectly irreducible algebras such that Γa(K) has the Fraser-Horn property. If ⟦a ≠ b⟧ ∩ ⟦c ≠ d ⟧ = ∅ is definable in K and K has a model companion of K-simple algebras, then it is shown that ISP(K) has a model companion. Conversely, a sufficient condition is given for ISP(K) to have no model companion.

Keywords

Existentially closedBoolean productssheavesmodel companionuniversal Horn classFraser-Horn property.
Type
Survey/expository papers
Information
The Journal of Symbolic Logic , Volume 53 , Issue 2 , June 1988 , pp. 571 - 596
Copyright
Copyright © Association for Symbolic Logic 1988

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

The results presented in this paper form a part of the author's Ph.D. thesis, completed at the University of Waterloo in 1984 under Professor Stanley Burris, whose supervision and assistance is gratefully acknowledged.

References

REFERENCES

[1] Arens, R. F. and Kaplansky, I., Topological representation of algebras, Transactions of the American Mathematical Society, vol. 63 (1948), pp. 457–481.CrossRefGoogle Scholar
[2] Bergman, G. M., Sulle classi filtrali di algebre, Annali dell'Università di Ferrara, Nuovo Serie, Sezione VII: Scienze Matematiche, vol. 17 (1972), pp. 35–42.CrossRefGoogle Scholar
[3] Bigard, A., Keimel, K. and Wolfenstein, S., Groupes et anneaux réticulés, Lecture Notes in Mathematics, vol. 608, Springer-Verlag, New York, 1977.CrossRefGoogle Scholar
[4] Burris, S., Remarks on the Fraser-Horn property, Algebra Universalis, vol. 23 (1986), pp. 19–21.CrossRefGoogle Scholar
[5] Burris, S. and McKenzie, R., Decidability and Boolean representations, Memoir no. 246, American Mathematical Society, Providence, Rhode Island, 1981.CrossRefGoogle Scholar
[6] Burris, S. and Sankappanavar, H. P., A course in universal algebra, Springer-Verlag, New York, 1981.CrossRefGoogle Scholar
[7] 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
[8] Carson, A. B., The model completion of the theory of commutative regular rings, Journal of Algebra, vol. 27 (1973), pp. 136–146.CrossRefGoogle Scholar
[9] Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[10] Comer, S. D., Representation by algebras of sections over Boolean spaces, Pacific Journal of Mathematics, vol. 38 (1971), pp. 29–38.Google Scholar
[11] Comer, S. D., Elementary properties of structures of sections, Boletin de la Socie dad Matemática Mexicana, vol. 19 (1974), pp. 78–85.Google Scholar
[12] Comer, S. D., Monadic algebras with finite degree, Algebra Universalis, vol. 5 (1975), pp. 315–327.CrossRefGoogle Scholar
[13] Comer, S. D., Complete and model-complete theories of monadic algebras, Colloquium Mathematicum, vol. 34 (1976), pp. 183–190.CrossRefGoogle Scholar
[14] Dauns, J. and Hofmann, K. H., The representation of biregular rings by sheaves, Mathematiche Zeitschrift, vol. 91 (1966), pp. 103–123.CrossRefGoogle Scholar
[15] Eklof, P. and Sabbagh, G., Model-completions and modules, Annals of Mathematical Logic, vol. 2 (1970/1971), pp. 251–295.CrossRefGoogle Scholar
[16] Fraser, G. A. and Horn, A., Congruence relations in direct products, Proceedings of the American Mathematical Society, vol. 26 (1970), pp. 390–394.CrossRefGoogle Scholar
[17] Fried, E. and Kiss, E. W., Connection between the congruence-lattices and polynomial properties, Algebra Universalis, vol. 17 (1983), pp. 227–262.CrossRefGoogle Scholar
[18] Glass, A. M. W. and Pierce, K. R., Existentially complete abelian lattice-ordered groups, Transactions of the American Mathematical Society, vol. 261 (1980), pp. 255–270.CrossRefGoogle Scholar
[19] Hirschfeld, J. and Wheeler, W. H., Forcing, arithmetic, division rings, Lecture Notes in Mathematics, vol. 454, Springer-Verlag, New York, 1975.CrossRefGoogle Scholar
[20] Keimel, K., The representation of lattice ordered groups and rings by sections in sheaves, Lectures on the applications of sheaves to ring theory, Lecture Notes in Mathematics, vol. 248, Springer-Verlag, New York, 1971, pp. 1–98.CrossRefGoogle Scholar
[21] Köhler, P. and Pigozzi, D., Varieties with equationally definable principal congruences, Algebra Universalis, vol. 11 (1980), pp. 213–219.CrossRefGoogle Scholar
[22] Krauss, P. H., The structure of filtrai varieties, preprint, 1981.Google Scholar
[23] Lindström, P., On model completeness, Theoria, vol. 30 (1964), pp. 183–196.CrossRefGoogle Scholar
[24] Lipschitz, L. and Saracino, D., The model companion of the theory of commutative rings without nilpotent elements, Proceedings of the American Mathematical Society, vol. 37 (1973), pp. 381–387.CrossRefGoogle Scholar
[25] Macintyre, A., Model completeness for sheaves of structures, Fundamenta Mathematicae, vol. 81 (1973), pp. 73–89.CrossRefGoogle Scholar
[26] Macintyre, A., Model completeness, Handbook of mathematical logic (Barwise, J., editor), North-Holland, Amsterdam, 1977, pp. 139–180.CrossRefGoogle Scholar
[27] McKenzie, R. and Shelah, S., The cardinals of simple models for universal theories, Proceedings of the Tarski Symposium (1971), Proceedings of Symposia in Pure Mathematics, vol. 25, American Mathematical Society, Providence, Rhode Island, 1974, pp. 53–74.CrossRefGoogle Scholar
[28] Point, F., Finite generic models of TUH, for certain model companionable theories T, this Journal, vol. 50 (1985), pp. 604–610.Google Scholar
[29] Point, F., Quantifier elimination for projectable l-groups and linear elimination for rings, Thesis, Université de l'État à Mons, 1983.Google Scholar
[30] Robinson, A., Complete theories, North-Holland, Amsterdam, 1956.Google Scholar
[31] Robinson, A., Introduction to model theory and to the metamathematics of algebra, North-Holland, Amsterdam, 1965.Google Scholar
[32] Saracino, D., Model companions for ℵ0-categorical theories, Proceedings of the American Mathematical Society, vol. 39 (1973), pp. 591–598.Google Scholar
[33] Saracino, D. and Wood, C., Finitely generic abelian lattice-ordered groups, Transactions of the American Mathematical Society, vol. 277 (1983), pp. 113–123.CrossRefGoogle Scholar
[34] Scott, W. R., Algebraically closed groups, Proceedings of the American Mathematical Society, vol. 2 (1951), pp. 118–121.CrossRefGoogle Scholar
[35] Shoenpield, J. R., Mathematical logic, Addison-Wesley, Reading, Massachusetts, 1967.Google Scholar
[36] Simmons, H., Existentially closed structures, this Journal, vol. 37 (1972), pp. 293–310.Google Scholar
[37] Volger, H., Filtered and stable boolean powers are relativized full boolean powers, Algebra Universalis, vol. 19 (1984), pp. 399–402.CrossRefGoogle Scholar
[38] Weispfenning, V., Model completeness and elimination of quantifiers for subdirect products, Journal of Algebra, vol. 36 (1975), pp. 252–277.CrossRefGoogle Scholar
[39] Weispfenning, V., Model theory of lattice products, Habilitationsschrift, Heidelberg, 1978.Google Scholar