Mašulović, Dragan A dual Ramsey theorem for permutations. (English) Zbl 1369.05200 Electron. J. Comb. 24, No. 3, Research Paper P3.39, 12 p. (2017). MSC: 05D10 05C55 18A99 06A07 03C13 PDFBibTeX XMLCite \textit{D. Mašulović}, Electron. J. Comb. 24, No. 3, Research Paper P3.39, 12 p. (2017; Zbl 1369.05200) Full Text: arXiv Link
Andréka, H.; Comer, S. D.; Madarász, J. X.; Németi, I.; Sayed Ahmed, T. Epimorphisms in cylindric algebras and definability in finite variable logic. (English) Zbl 1184.03060 Algebra Univers. 61, No. 3-4, 261-282 (2009). MSC: 03G15 03B20 03C40 03C13 03G27 18A20 PDFBibTeX XMLCite \textit{H. Andréka} et al., Algebra Univers. 61, No. 3--4, 261--282 (2009; Zbl 1184.03060) Full Text: DOI
Makkai, M. The topos of types. (English) Zbl 0527.03042 Logic year 1979-80, Univ. Conn./USA, Lect. Notes Math. 859, 157-201 (1981). MSC: 03G30 18B25 03B15 PDFBibTeX XML
Goldblatt, Robert I. Grothendieck topology as geometric modality. (English) Zbl 0474.03018 Z. Math. Logik Grundlagen Math. 27, 495-529 (1981). MSC: 03C99 03B45 18F10 03G30 PDFBibTeX XMLCite \textit{R. I. Goldblatt}, Z. Math. Logik Grundlagen Math. 27, 495--529 (1981; Zbl 0474.03018) Full Text: DOI
Bozzi, Silvio; Meloni, Gian Carlo Representation of Heyting algebras with covering and propositional intuitionistic logic with local operator. (English) Zbl 0454.03008 Boll. Unione Mat. Ital., V. Ser., A 17, 436-442 (1980). MSC: 03B60 03B55 03G10 06D20 03G30 03C30 18F10 03B25 03C35 03B45 PDFBibTeX XMLCite \textit{S. Bozzi} and \textit{G. C. Meloni}, Boll. Unione Mat. Ital., V. Ser., A 17, 436--442 (1980; Zbl 0454.03008)