Czédli, Gábor Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures. (English) Zbl 07511505 Arch. Math., Brno 58, No. 1, 15-33 (2022). MSC: 03C13 06C10 PDF BibTeX XML Cite \textit{G. Czédli}, Arch. Math., Brno 58, No. 1, 15--33 (2022; Zbl 07511505) Full Text: DOI arXiv OpenURL
Kalfa, Cornelia Some decidable theories with finitely many covers which are decidable and algorithmically found. (English) Zbl 0819.08003 Colloq. Math. 67, No. 1, 61-67 (1994). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 08B05 03B25 03C05 08B15 PDF BibTeX XML Cite \textit{C. Kalfa}, Colloq. Math. 67, No. 1, 61--67 (1994; Zbl 0819.08003) Full Text: DOI EuDML OpenURL
Vernikov, B. M. Formula varieties of associative rings. (Russian) Zbl 0614.16012 Mat. Issled. 90, 41-47 (1986). Reviewer: V.A.Artamonov MSC: 16Rxx 08B15 PDF BibTeX XML Cite \textit{B. M. Vernikov}, Mat. Issled. 90, 41--47 (1986; Zbl 0614.16012) Full Text: EuDML OpenURL
Vamos, P. The missing axiom of matroid theory is lost forever. (English) Zbl 0395.05024 J. Lond. Math. Soc., II. Ser. 18, 403-408 (1978). MSC: 05B35 PDF BibTeX XML Cite \textit{P. Vamos}, J. Lond. Math. Soc., II. Ser. 18, 403--408 (1978; Zbl 0395.05024) Full Text: DOI OpenURL