Hostname: page-component-76fb5796d-45l2p Total loading time: 0 Render date: 2024-04-26T11:40:05.129Z Has data issue: false hasContentIssue false
  • English
  • Français

Products of two-sorted structures

Published online by Cambridge University Press:  12 March 2014

Philip Olin
Philip Olin*
Affiliation:
McGill University, Montréal, Québec, Canada
Get access Rights & Permissions [Opens in a new window]

Extract

First order properties of direct products and direct sums (weak direct products) of relational systems have been studied extensively. For example, in Feferman and Vaught [3] an effective procedure is given for reducing such properties of the product to properties of the factors, and thus in particular elementary equivalence is preserved. We consider here two-sorted relational systems, with the direct product and sum operations keeping one of the sorts stationary. (See Feferman [4] for a similar definition of extensions.)

These considerations are motivated by the example of direct products and sums of modules [8], [9]. In [9] examples are given to show that the direct product of two modules (even having only a finite number of module elements) does not preserve two-sorted (even universal) equivalence for any finite or infinitary language Lκ, λ. So we restrict attention here to direct powers and multiples (many copies of one structure). Also in [9] it is shown (for modules, but the proofs generalize immediately to two-sorted structures with a finite number of relations) that the direct multiple operation preserves first order ∀E-equivalence and the direct power operation preserves first order ∀-equivalence. We show here that these results for general two-sorted structures in a finite first order language are, in a sense, best-possible. Examples are given to show that does not imply , and that does not imply .

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 37 , Issue 1 , March 1972 , pp. 75 - 80
Copyright
Copyright © Association for Symbolic Logic 1972

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]Benda, M., Reduced products and nonstandard logics, this Journal, vol. 34 (1969), pp. 424–436.Google Scholar
[2]Ehrenfeucht, A., An application of games to the completeness problem for formalized theories, Fundamenta Mathematicae, vol. 49 (1961), pp. 129–141.CrossRefGoogle Scholar
[3]Feferman, S. and Vaught, R. L., The first order properties of products of algebraic systems, Fundamenta Mathematicae, vol. 47 (1959), pp. 57–103.CrossRefGoogle Scholar
[4]Feferman, S., Lectures on proof theory, Proceedings of the Summer School in Logic, Leeds, 1967, Springer Lecture Notes, vol. 70, Springer-Verlag, 1968, pp. 1–107.Google Scholar
[5]Feferman, S., Infinitary properties, local functors, and systems of ordinal functions (to appear).Google Scholar
[6]Karp, C. R., Languages with expressions of infinite length, North-Holland, Amsterdam, 1964.Google Scholar
[7]Morley, M. and Vaught, R., Homogeneous universal models, Mathematica Scandinavica, vol. 11 (1962), pp. 37–57.CrossRefGoogle Scholar
[8]Olin, P., Some first order properties of direct sums of modules, Zeitsehrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 405–416.CrossRefGoogle Scholar
[9]Olin, P., Direct multiples and powers of modules, Fundamenta Mathematicae (to appear).Google Scholar