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.
KeywordsBoolean Algebra Decidable Theory Decision Procedure General Notion Atomic Formula
Unable to display preview. Download preview PDF.