Andréka, Hajnal; Németi, István; Givant, Steven Nonrepresentable relation algebras from groups. (English) Zbl 1477.03262 Rev. Symb. Log. 13, No. 4, 861-881 (2020). Reviewer: Roger Maddux (Ames) MSC: 03G15 20N02 03E20 03C05 PDFBibTeX XMLCite \textit{H. Andréka} et al., Rev. Symb. Log. 13, No. 4, 861--881 (2020; Zbl 1477.03262) Full Text: DOI arXiv
Andréka, Hajnal; Givant, Steven; Jipsen, Peter; Németi, István On Tarski’s axiomatic foundations of the calculus of relations. (English) Zbl 1422.03133 J. Symb. Log. 82, No. 3, 966-994 (2017). MSC: 03G15 03B30 03C05 03C13 PDFBibTeX XMLCite \textit{H. Andréka} et al., J. Symb. Log. 82, No. 3, 966--994 (2017; Zbl 1422.03133) Full Text: DOI arXiv
Givant, Steven The calculus of relations as a foundation for mathematics. (English) Zbl 1121.03018 J. Autom. Reasoning 37, No. 4, 277-322 (2006). MSC: 03B30 03B20 03C05 03G15 03B35 PDFBibTeX XMLCite \textit{S. Givant}, J. Autom. Reasoning 37, No. 4, 277--322 (2006; Zbl 1121.03018) Full Text: DOI