1 research outputs found
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
Fix a finite ordinal and let be an arbitrary ordinal. Let denote the class of cylindric algebras of dimension and denote the class of relation algebras. Let stand for the class of polyadic (equality) algebras of dimension . We reprove that the class of completely representable s, and the class of completely representable s are not elementary, a result of Hirsch and Hodkinson. We extend this result to any variety between polyadic algebras of dimension and diagonal free s. We show that that the class of completely and strongly representable algebras in is not elementary either, reproving a result of Bulian and Hodkinson. For relation algebras, we can and will, go further. We show the class is not closed under . In contrast, we show that given , and an atomic , then for any \(n/p