Advertisement

Generalized Products

  • J. Donald Monk
Part of the Graduate Texts in Mathematics book series (GTM, volume 37)

Abstract

In this chapter we want to present some interesting logical properties of products. The proofs of the results use a very general notion of product, which we shall develop only enough to obtain results concerning ordinary products (but see the exercises). The idea of the generalization is to consider two languages, one language for the factors and one somehow connected with the index set of the product. A third language, for the product, is derived from these. The basic definitions are as follows.

Keywords

Boolean Algebra Decidable Theory Decision Procedure General Notion Atomic Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Inc. 1976

Authors and Affiliations

  • J. Donald Monk
    • 1
  1. 1.Department of MathematicsUniversity of ColoradoBoulderUSA

Personalised recommendations