Garner, Richard Ultrafilters, finite coproducts and locally connected classifying toposes. (English) Zbl 1460.03008 Ann. Pure Appl. Logic 171, No. 10, Article ID 102831, 29 p. (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03C20 03G30 18B25 18A35 PDF BibTeX XML Cite \textit{R. Garner}, Ann. Pure Appl. Logic 171, No. 10, Article ID 102831, 29 p. (2020; Zbl 1460.03008) Full Text: DOI arXiv OpenURL
Maddux, Roger D. Nonrepresentable relation algebras generated by functional elements. (English) Zbl 1105.03068 Algebra Univers. 52, No. 2-3, 155-165 (2004). Reviewer: Nick Bezhanishvili (Leicester) MSC: 03G15 PDF BibTeX XML Cite \textit{R. D. Maddux}, Algebra Univers. 52, No. 2--3, 155--165 (2004; Zbl 1105.03068) Full Text: DOI OpenURL
Dunn, J. Michael A representation of relation algebras using Routley-Meyer frames. (English) Zbl 1039.03051 Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0141-X/hbk). Synth. Libr. 305, 77-108 (2001). Reviewer: Roger Maddux (Ames) MSC: 03G15 03B47 PDF BibTeX XML Cite \textit{J. M. Dunn}, Synth. Libr. 305, 77--108 (2001; Zbl 1039.03051) OpenURL
SanJuan, Eric; Iturrioz, Luisa An application of standard BAO theory to some abstract information algebras. (English) Zbl 0992.03079 Orłowska, Ewa (ed.) et al., Relational methods for computer science applications. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 65, 203-215 (2001). MSC: 03G05 06E25 68T37 PDF BibTeX XML Cite \textit{E. SanJuan} and \textit{L. Iturrioz}, Stud. Fuzziness Soft Comput. 65, 203--215 (2001; Zbl 0992.03079) OpenURL