Egrot, Rob; Hirsch, Robin First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. (English) Zbl 1518.03016 J. Symb. Log. 87, No. 3, 1283-1300 (2022). Reviewer: Roger Maddux (Ames) MSC: 03G15 05C90 PDFBibTeX XMLCite \textit{R. Egrot} and \textit{R. Hirsch}, J. Symb. Log. 87, No. 3, 1283--1300 (2022; Zbl 1518.03016) Full Text: DOI arXiv
Goranko, Valentin; Vakarelov, Dimiter Elementary canonical formulae: extending Sahlqvist’s theorem. (English) Zbl 1111.03018 Ann. Pure Appl. Logic 141, No. 1-2, 180-217 (2006). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{D. Vakarelov}, Ann. Pure Appl. Logic 141, No. 1--2, 180--217 (2006; Zbl 1111.03018) Full Text: DOI
Gehrke, Mai; Harding, John; Venema, Yde MacNeille completions and canonical extensions. (English) Zbl 1083.06009 Trans. Am. Math. Soc. 358, No. 2, 573-590 (2006). MSC: 06B23 06E25 06B20 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Trans. Am. Math. Soc. 358, No. 2, 573--590 (2006; Zbl 1083.06009) Full Text: DOI
Venema, Yde Atomless varieties. (English) Zbl 1059.03078 J. Symb. Log. 68, No. 2, 607-614 (2003). MSC: 03G05 03B45 06E25 PDFBibTeX XMLCite \textit{Y. Venema}, J. Symb. Log. 68, No. 2, 607--614 (2003; Zbl 1059.03078) Full Text: DOI Euclid