Misselbeck-Wessel, Daniel; Schuster, Peter Radical theory of Scott-open filters. (English) Zbl 07648673 Theor. Comput. Sci. 945, Article ID 113677, 19 p. (2023). MSC: 03-XX 06-XX PDFBibTeX XMLCite \textit{D. Misselbeck-Wessel} and \textit{P. Schuster}, Theor. Comput. Sci. 945, Article ID 113677, 19 p. (2023; Zbl 07648673) Full Text: DOI
Hyttinen, Tapani; Paolini, Gianluca Coxeter groups and abstract elementary classes: the right-angled case. (English) Zbl 1472.03032 Notre Dame J. Formal Logic 60, No. 4, 707-731 (2019). MSC: 03C48 03C60 20F55 PDFBibTeX XMLCite \textit{T. Hyttinen} and \textit{G. Paolini}, Notre Dame J. Formal Logic 60, No. 4, 707--731 (2019; Zbl 1472.03032) Full Text: DOI arXiv Euclid Link
Lobo, Carlos Some reasons to reopen the question of the foundations of probability theory following Gian-Carlo Rota. (English) Zbl 1436.60005 Tahiri, Hassan (ed.), The philosophers and mathematics. Festschrift for Roshdi Rashed. Cham: Springer. Log. Epistemol. Unity Sci. 43, 145-187 (2018). MSC: 60A05 00A30 03A10 PDFBibTeX XMLCite \textit{C. Lobo}, Log. Epistemol. Unity Sci. 43, 145--187 (2018; Zbl 1436.60005) Full Text: DOI
Paolini, Gianluca The class of non-Desarguesian projective planes is Borel complete. (English) Zbl 1522.03197 Proc. Am. Math. Soc. 146, No. 11, 4927-4936 (2018). MSC: 03E15 05B35 22F50 54H05 PDFBibTeX XMLCite \textit{G. Paolini}, Proc. Am. Math. Soc. 146, No. 11, 4927--4936 (2018; Zbl 1522.03197) Full Text: DOI arXiv
Hyttinen, Tapani; Paolini, Gianluca Beyond abstract elementary classes: on the model theory of geometric lattices. (English) Zbl 1522.03119 Ann. Pure Appl. Logic 169, No. 2, 117-145 (2018). MSC: 03C48 03C45 03C60 06C10 PDFBibTeX XMLCite \textit{T. Hyttinen} and \textit{G. Paolini}, Ann. Pure Appl. Logic 169, No. 2, 117--145 (2018; Zbl 1522.03119) Full Text: DOI arXiv Link
Mao, Hua Factorization theorems for strong maps between matroids of arbitrary cardinality. (English) Zbl 1347.05026 Open Math. 14, 687-692 (2016). MSC: 05B35 05C85 03E05 52B40 PDFBibTeX XMLCite \textit{H. Mao}, Open Math. 14, 687--692 (2016; Zbl 1347.05026) Full Text: DOI
Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Piazzai, Michele; Tzimoulis, Apostolos; Wijnberg, Nachoem M. Categories: how I learned to stop worrying and love two sorts. (English) Zbl 1478.03042 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 145-164 (2016). MSC: 03B47 03B45 06B23 06D50 68T30 PDFBibTeX XMLCite \textit{W. Conradie} et al., Lect. Notes Comput. Sci. 9803, 145--164 (2016; Zbl 1478.03042) Full Text: DOI arXiv
Bošnjak, Ivica; Madarász, Rozália Retraction closure property. (English) Zbl 1283.08004 Algebra Univers. 69, No. 3, 279-285 (2013). Reviewer: Anna Romanowska (Warsaw) MSC: 08A35 03C05 08B99 20L05 PDFBibTeX XMLCite \textit{I. Bošnjak} and \textit{R. Madarász}, Algebra Univers. 69, No. 3, 279--285 (2013; Zbl 1283.08004) Full Text: DOI
Apel, Susanne; Richter-Gebert, Jürgen Cancellation patterns in automatic geometric theorem proving. (English) Zbl 1350.68222 Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 1-33 (2011). MSC: 68T15 03B35 51A05 PDFBibTeX XMLCite \textit{S. Apel} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 6877, 1--33 (2011; Zbl 1350.68222) Full Text: DOI
Brunat, Josep M.; de Oliveira, António Guedes; Noy, Marc Partitions of a finite Boolean lattice into intervals. (English) Zbl 1227.05062 Eur. J. Comb. 30, No. 8, 1801-1809 (2009). MSC: 05A18 05B35 03G10 06A07 PDFBibTeX XMLCite \textit{J. M. Brunat} et al., Eur. J. Comb. 30, No. 8, 1801--1809 (2009; Zbl 1227.05062) Full Text: DOI
Gehrke, Mai Generalized Kripke frames. (English) Zbl 1115.03013 Stud. Log. 84, No. 2, 241-275 (2006). MSC: 03B47 03C90 PDFBibTeX XMLCite \textit{M. Gehrke}, Stud. Log. 84, No. 2, 241--275 (2006; Zbl 1115.03013) Full Text: DOI
Li, Hongbo; Wu, Yihong Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (English) Zbl 1047.03011 J. Symb. Comput. 36, No. 5, 763-809 (2003). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B35 68T15 52B55 PDFBibTeX XMLCite \textit{H. Li} and \textit{Y. Wu}, J. Symb. Comput. 36, No. 5, 763--809 (2003; Zbl 1047.03011) Full Text: DOI
Li, Hongbo; Wu, Yihong Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (English) Zbl 1047.03010 J. Symb. Comput. 36, No. 5, 717-762 (2003). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B35 68T15 51A05 52B55 PDFBibTeX XMLCite \textit{H. Li} and \textit{Y. Wu}, J. Symb. Comput. 36, No. 5, 717--762 (2003; Zbl 1047.03010) Full Text: DOI
Meeting of the association for symbolic logic, Florence, Italy 1982. (English) Zbl 0569.03002 J. Symb. Log. 49, 683-710 (1984). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 49, 683--710 (1984; Zbl 0569.03002) Full Text: DOI
Whiteley, Walter Logic and invariant theory. IV: Invariants and syzygies in combinatorial geometry. (English) Zbl 0331.50016 J. Comb. Theory, Ser. B 26, 251-267 (1979). MSC: 51E20 05B30 03C68 15A72 PDFBibTeX XMLCite \textit{W. Whiteley}, J. Comb. Theory, Ser. B 26, 251--267 (1979; Zbl 0331.50016) Full Text: DOI
Greene, Curtis; Kleitman, Daniel J. The structure of Sperner k-families. (English) Zbl 0355.05027 J. Comb. Theory, Ser. A 20, 41-68 (1976). MSC: 05C35 05C99 03E20 06A06 PDFBibTeX XMLCite \textit{C. Greene} and \textit{D. J. Kleitman}, J. Comb. Theory, Ser. A 20, 41--68 (1976; Zbl 0355.05027) Full Text: DOI
Wagstaff, Samuel S. jun. Infinite matroids. (English) Zbl 0261.05021 Trans. Am. Math. Soc. 175, 141-153 (1973). MSC: 05B35 05A05 12F15 12F20 11T99 03C60 PDFBibTeX XMLCite \textit{S. S. Wagstaff jun.}, Trans. Am. Math. Soc. 175, 141--153 (1973; Zbl 0261.05021) Full Text: DOI
Finch, P. D. On the Möbius function of a non-singular binary relation. (English) Zbl 0212.32702 Bull. Aust. Math. Soc. 3, 155-162 (1970). MSC: 03E20 PDFBibTeX XMLCite \textit{P. D. Finch}, Bull. Aust. Math. Soc. 3, 155--162 (1970; Zbl 0212.32702) Full Text: DOI