On complete representations and minimal completions in algebraic logic, both positive and negative results

Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras. Let \(\mathbf{PA}_{\alpha}(\mathsf{PEA}_{\alpha})\) stand for the class of polyadic (equality) algebras of dimension \(\alpha\). We reprove that the class \(\mathsf{CRCA}_n\) of completely representable \(\mathsf{CA}_n$s, and the class \(\sf CRRA\) of completely representable \(\mathsf{RA}\)s are not elementary, a result of Hirsch and Hodkinson. We extend this result to any variety \(\sf V\) between polyadic algebras of dimension \(n\) and diagonal free \(\mathsf{CA}_n\)s. We show that that the class of completely and strongly representable algebras in \(\sf V\) is not elementary either, reproving a result of Bulian and Hodkinson. For relation algebras, we can and will, go further. We show the class \(\sf CRRA\) is not closed under \(\equiv_{\infty,\omega}\). In contrast, we show that given \(\alpha\geq \omega\), and an atomic \(\mathfrak{A}\in \mathsf{PEA}_{\alpha}\), then for any \(n<\omega\), \(\mathfrak{Nr}_n\A\) is a completely representable \(\mathsf{PEA}_n\). We show that for any \(\alpha\geq \omega\), the class of completely representable algebras in certain reducts of \(\mathsf{PA}_{\alpha}\)s, that happen to be varieties, is elementary. We show that for \(\alpha\geq \omega\), the the class of polyadic-cylindric algebras dimension \(\alpha\), introduced by Ferenczi, the completely representable algebras (slightly altering representing algebras) coincide with the atomic ones. In the last algebras cylindrifications commute only one way, in a sense weaker than full fledged commutativity of cylindrifications enjoyed by classical cylindric and polyadic algebras. Finally, we address closure under Dedekind-MacNeille completions for cylindric-like algebras of dimension \(n\) and \(\mathsf{PA}_{\alpha}\)s for \(\alpha\) an infinite ordinal, proving negative results for the first and positive ones for the second.

Various notions of represetability for cylindric and polyadic algebras

For β an ordinal, let PEAβ (SetPEAβ) denote the class of polyadic equality (set) algebras of dimension β. We show that for any infinite ordinal α, if is atomic, then for any n < ω, the n-neat reduct of , in symbols , is a completely representable PEAn (regardless of the representability of ). That is to say, for all non-zero , there is a and a homomorphism such that fa(a) ≠ 0 and for any for which exists. We give new proofs that various classes consisting solely of completely representable algebras of relations are not elementary; we further show that the class of completely representable relation algebras is not closed under ≡∞,ω. Various notions of representability (such as ‘satisfying the Lyndon conditions’, weak and strong) are lifted from the level of atom structures to that of atomic algebras and are further characterized via special neat embeddings. As a sample, we show that the class of atomic CAns satisfying the Lyndon conditions coincides with the class of atomic algebras in ElScNrnCAω, where El denotes ‘elementary closure’ and Sc is the operation of forming complete subalgebras.

Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them

Let α be an infinite ordinal. Let RCAα denote the variety of representable cylindric algebras of dimension α. Modifying Andréka’s methods of splitting, we show that the variety RQEAα of representable quasi-polyadic equality algebras of dimension α is not axiomatized by a set of universal formulas containing only finitely many variables over the variety RQAα of representable quasi-polyadic algebras of dimension α. This strengthens a seminal result due to Sain and Thompson, answers a question posed by Andréka, and lifts to the transfinite a result of hers proved for finite dimensions > 2. Using the modified method of splitting, we show that all known complexity results on universal axiomatizations of RCAα (proved by Andréka) transfer to universal axiomatizations of RQEAα. From such results it can be inferred that any algebraizable extension of Lω,ω is severely incomplete if we insist on Tarskian square semantics. Ways of circumventing the strong non-negative axiomatizability results hitherto obtained in the first part of the paper, such as guarding semantics, and /or expanding the signature of RQEAω by substitutions indexed by transformations coming from a finitely presented subsemigroup of (ωω, ○) containing all transpositions and replacements, are surveyed, discussed, and elaborated upon.

THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS

Hirsch and Hodkinson proved, for $3 \le m &lt; \omega $ and any $k &lt; \omega $ , that the class $SNr_m {\bf{CA}}_{m + k + 1} $ is strictly contained in $SNr_m {\bf{CA}}_{m + k} $ and if $k \ge 1$ then the former class cannot be defined by any finite set of first-order formulas, within the latter class. We generalize this result to the following algebras of m-ary relations for which the neat reduct operator $_m $ is meaningful: polyadic algebras with or without equality and substitution algebras. We also generalize this result to allow the case where m is an infinite ordinal, using quasipolyadic algebras in place of polyadic algebras (with or without equality).