Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



On the commutativity of ultraproducts with direct products

Author: Michel Hébert
Journal: Proc. Amer. Math. Soc. 113 (1991), 213-216
MSC: Primary 03C20; Secondary 03C40
MathSciNet review: 1086582
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We show that an ultraproduct of direct products of structures is elementarily equivalent to a direct product (naturally defined over an ultraproduct of sets!) of ultraproducts of these structures.

References [Enhancements On Off] (What's this?)

  • [1] C. C. Chang and H. J. Keisler, Model theory, Springer-Verlag, New York, 1975. MR 0409165 (53:12927)
  • [2] S. Feferman and L. Vaught, The first order properties of products of algebraic systems., Fund. Math. 47 (1959), 57-103. MR 0108455 (21:7171)
  • [3] M. Hébert, Preservation and interpolation through binary relations between theories, Z. Math. Logik Grundlag. Math. 35 (1989), 169-182. Corrections appear in 36 (1990). MR 992191 (90c:03025)
  • [4] M. Makkai, A compactness result concerning direct products of models, Fund. Math. 62 (1965), 313-325. MR 0188071 (32:5512)
  • [5] R. L. Vaught, On sentences holding in direct products of relational systems, Proc. Internat. Congr. Math., vol. 2, Amsterdam, 1954.
  • [6] Y. Vourtsanis, The structure of truth in products of structures, preprint, Bowling Green State Univ., 1988.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03C20, 03C40

Retrieve articles in all journals with MSC: 03C20, 03C40

Additional Information

Keywords: Ultraproduct
Article copyright: © Copyright 1991 American Mathematical Society

American Mathematical Society