Hostname: page-component-76fb5796d-qxdb6 Total loading time: 0 Render date: 2024-04-25T16:10:58.466Z Has data issue: false hasContentIssue false
  • English
  • Français

A direct proof of the Feferman-Vaught theorem and other preservation theorems in products

Published online by Cambridge University Press:  12 March 2014

Yiannis Vourtsanis
Yiannis Vourtsanis*
Affiliation:
Department of Mathematics, Texas Tech University, Lubbock, Texas 79409
Get access Rights & Permissions [Opens in a new window]

Extract

Here we give short and direct proofs of the Feferman-Vaught theorem and other preservation theorems in products of structures. In 1952, Mostowski [5] first showed the preservation of ≡ωω by direct powers of structures. Subsequently, in 1959, Feferman and Vaught [2] proved the preservation of ≡ωω by arbitrary direct products and also by reduced products with respect to cofinite filters. In 1962, Frayne, Morel and Scott [3] noticed that the results extend to arbitrary reduced products. In 1970, Barwise and Eklof [1] showed the preservation of ≡∞λ by products and in 1971 Malitz [4] showed the preservation of ≡κλ with κ strongly inaccessible (or ∞) by products. Below, we give short proofs of the above results. The ideas used here have initiated, in [7], [8], [9], [10], [11], the introduction of several new methods in the theory of products, which on the one hand give new, direct proofs of the known results in the area, including generalizations or strengthenings of some of those, and, on the other hand, give several new results as well in the theory of products and related areas.

Below, L denotes a (first order) language, and by a structure we mean an L-structure. 0 and 1 denote the logically valid and false sentence, respectively. We may write ā ∈ A for ā ∈ An for some n. Also, the values 1 and 2 of a parameter l in the definitions below express a duality corresponding to disjunctive and conjunctive forms.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 56 , Issue 2 , June 1991 , pp. 632 - 636
Copyright
Copyright © Association for Symbolic Logic 1991

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]Barwise, J. and Eklof, P., Infinitary properties of Abelian groups, Annals of Mathematical Logic, vol. 2 (1970), pp. 25–68.CrossRefGoogle Scholar
[2]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
[3]Frayne, T., Morel, A. C. and Scott, D. S., Reduced direct products, Fundamenta Mathematicae, vol. 51 (1962), pp. 195–228.CrossRefGoogle Scholar
[4]Malitz, J., Infinitary analogs of theorems from first order model theory, this Journal, vol. 36 (1971), pp. 216–228.Google Scholar
[5]Mostowski, A., On direct products of theories, this Journal, vol. 17 (1952), pp. 1–31.Google Scholar
[6]Vourtsanis, Y., A direct proof of the Feferman-Vaught theorem and other related theorems on preservation of equivalence through products, Abstracts of papers presented to the American Mathematical Society, vol. 7 (1986), p. 245.Google Scholar
[7]Vourtsanis, Y., Contributions to the theory of structures: On products of structures and other related topics, Ph.D. Thesis, University of California, Berkeley, California, 1987.Google Scholar
[8]Vourtsanis, Y., The structure of truth in direct products of structures (to appear).Google Scholar
[9]Vourtsanis, Y., The structure of truth in reduced products of structures (in preparation).Google Scholar
[10]Vourtsanis, Y., Product theoretic operations and applications (in preparation).Google Scholar
[11]Vourtsanis, Y., Product decompositions of structures (in preparation).Google Scholar