We show that for every uncountable regular K and every K-complete Boolean algebra B of density 5 K there is a filter F B such that the number of partitions of length < K modulo F is 5 2'". We apply this to Boolean algebras of the form P ( X ) / I , where I is a n-complete K-dense ideal on X .
Cylindric Algebras with Filter Quantifiers
✍ Scribed by Dietrich Schwartz
- Publisher
- John Wiley and Sons
- Year
- 1980
- Tongue
- English
- Weight
- 229 KB
- Volume
- 26
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## Abstract The theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this pape
## Abstract The problem of diffraction of cylindrical __TE__~__on__~‐wave on an axial‐symmetric series of __N__ identical inhomogeneous resonators and sections of uniform waveguide is solved by the methods of theory of circuits and matrix functions. The resonator's internal region contains three ma
## Abstract A novel inhomogeneous MTL device consisting of a solid cylindrical dielectric core with four equidistant cylindrical thin wires running along the core's peripheral surface, parallel to the core axis, is examined here from the standpoint of its filtering properties. At the input port of