𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantifier Elimination for Distributive Lattices and Measure Algebras

✍ Scribed by Volker Weispfenning

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
722 KB
Volume
31
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Boolean Algebras and Distributive Lattic
Boolean Algebras and Distributive Lattices Treated Constructively
✍ John L. Bell πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 546 KB

## Abstract Some aspects of the theory of Boolean algebras and distributive lattices–in particular, the Stone Representation Theorems and the properties of filters and ideals–are analyzed in a constructive setting.

Eigenvalues and eigenvectors for matrice
Eigenvalues and eigenvectors for matrices over distributive lattices
✍ Yi-Jia Tan πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 835 KB

Let (L, <~, v. A) be a complete and completely distr;butive I,ttice. A vector ~ is said to be an eigenvector of a square matrix A over the lattice L ifA~ = 2~ for some 2 E L. The elements ,;. are called the associated eigenvalues, in this paper we characterize the eigenvalues and the eigenvectors an

Finiteness conditions and distributive l
Finiteness conditions and distributive laws for Boolean algebras
✍ Marcel ErnΓ© πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 141 KB

## Abstract We compare diverse degrees of compactness and finiteness in Boolean algebras with each other and investigate the influence of weak choice principles. Our arguments rely on a discussion of infinitary distributive laws and generalized prime elements in Boolean algebras. In ZF set theory w