Skip to main content
SpringerLink
Log in

Direct product decompositions of structures and theories

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

In this article we present new methods in the theory of direct product decompositions of arbitrary structures.

These methods are based on works of the author on the logic of product structures and on certain product-theoretic operations on sentences. In addition, some results included here rely on certain combinatorial properties and in such questions we apply an extension of König Infinity Lemma, also due to the author.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Feferman, S. andVaught, R. L.,The first order properties of products of algebraic systems, Fund. Math.47 (1959), 57–103.

    Google Scholar 

  2. Galvin, F.,Horn sentences, Ann. Math. Logic1 (1970), 389–422.

    Google Scholar 

  3. Keisler, H. K.,Some applications of infinitely long formulas, J. Symbolic Logic30 (1965), 339–349.

    Google Scholar 

  4. Makkai, M.,A compactness result concerning direct products of models, Fund. Math.57 (1965), 313–325.

    Google Scholar 

  5. Vourtsanis, Y.,Contributions to the theory of structures: On products of structures and other related topics, Ph.D. Thesis, University of California, Berkeley, 1987.

    Google Scholar 

  6. Vourtsanis, Y.,A direct proof of the Feferman-Vaught theorem and other preservation theorems in products, J. Symb. Logic56 (1991), 632–636.

    Google Scholar 

  7. Vourtsanis, Y.,The structure of truth in direct products of structures, submitted.

  8. Vourtsanis, Y.,A result in Combinatorics extending König Infinity Lemma, submitted.

  9. Vourtsanis, Y.,Product theoretic operations on sentences and theories and certain of their applications, in preparation.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Texas Tech University, 79409, Lubbock, TX, USA

    Y. Vourtsanis

Authors
  1. Y. Vourtsanis
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vourtsanis, Y. Direct product decompositions of structures and theories. Algebra Universalis 35, 446–471 (1996). https://doi.org/10.1007/BF01197184

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01197184

Keywords

Search

Navigation