1 research outputs found

    On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results

    Get PDF
    Fix a finite ordinal n3n\geq 3 and let α\alpha be an arbitrary ordinal. Let CAn\mathsf{CA}_n denote the class of cylindric algebras of dimension nn and RA\sf RA denote the class of relation algebras. Let PAα(PEAα)\mathbf{PA}_{\alpha}(\mathsf{PEA}_{\alpha}) stand for the class of polyadic (equality) algebras of dimension α\alpha. We reprove that the class CRCAn\mathsf{CRCA}_n of completely representable CAn\mathsf{CA}_ns, and the class CRRA\sf CRRA of completely representable RA\mathsf{RA}s are not elementary, a result of Hirsch and Hodkinson. We extend this result to any variety V\sf V between polyadic algebras of dimension nn and diagonal free CAn\mathsf{CA}_ns. We show that that the class of completely and strongly representable algebras in V\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 CRRA\sf CRRA is not closed under ,ω\equiv_{\infty,\omega}. In contrast, we show that given αω\alpha\geq \omega, and an atomic APEAα\mathfrak{A}\in \mathsf{PEA}_{\alpha}, then for any \(n/p
    corecore