Notions of representability for cylindric algebras: some algebras are more representable than others (Q6155552)

In the paper, new notions of representability for cylindric algebras and connections between them are studied. Metalogical applications are given to \(n\)-variable fragments of first-order logic endowed with the so-called clique-guarded semantics (also described in the paper). Discussed are also some non-elementary classes of algebras having a neat embedding property.\par From the author's abstract (\({Nr}_n{CA}_l\) is the class of \(n\)-reducts of \({CA}_l\)s, \(\mathfrak{Cm}{At}\mathfrak{A}\) is the complex algebra of the atom structure of \(\mathfrak{A}\), and \({S}\) stands for ``the class of subalgebras of'' operator): ``Let \(2 < n \le l < m \le \omega\). Let \({CA}_n\) denote the variety of cylindric algebras of dimension \(n\) and let \({RCA}_n\) denote the variety of representable \({CA}_n\)s. We say that an atomic algebra \(\mathfrak{A} \in {CA}_n\) has the complex neat embedding property up to \(l\) and \(m\) if \(\mathfrak{A} \in {RCA}_n \cap {Nr}_n{CA}_l\) and \(\mathfrak{Cm}{At}\mathfrak{A} \in {S}{Nr}_n{CA}_m\). Fixing the prarameters \(l\) at the value \(n\), this is a measure of how much the algebra is representable. The yardstick is how far can its Dedekind-MacNeille completion be dilated, that is to say, counting the number of more extra dimensions its Dedekind-MacNeille completion neatly embeds into. If \(\mathfrak{A,B} \in {RCA}_n\) are atomic, \(\mathfrak{Cm}{At}\mathfrak{B} \in {S}{Nr}_n{CA}_l\) and \(\mathfrak{Cm}{At}\mathfrak{A} \in {S}{Nr}_n{CA}_m\), then we say that \(\mathfrak{A}\) is more representable than \(\mathfrak{B}\). When \(m = \omega\), we say that A is strongly representable; this is the maximum degree of representability; the algebra in question cannot be `more representable' than that. In this case the atom structure of \(\mathcal{A}\), namely \({At}\mathfrak{A}\), is strongly representable in the sense of Hirsch and Hodkinson. This notion gives an infinite potential spectrum of `degrees' of representability.''