Elbaz, Esther Grothendieck ring of the pairing function without cycles. (English) Zbl 07556129 Notre Dame J. Formal Logic 63, No. 2, 165-184 (2022). MSC: 03C07 03C10 03C98 08C10 PDFBibTeX XMLCite \textit{E. Elbaz}, Notre Dame J. Formal Logic 63, No. 2, 165--184 (2022; Zbl 07556129) Full Text: DOI arXiv
Elbaz, Esther A Grothendieck ring of finite characteristic. arXiv:2011.00280 Preprint, arXiv:2011.00280 [math.LO] (2020). MSC: 03C07 03C10 03C98 08C10 BibTeX Cite \textit{E. Elbaz}, ``A Grothendieck ring of finite characteristic'', Preprint, arXiv:2011.00280 [math.LO] (2020) Full Text: arXiv OA License
Bonzio, Stefano; Loi, Andrea The Płonka product of topological spaces. (English) Zbl 1426.54014 Algebra Univers. 80, No. 3, Paper No. 29, 13 p. (2019). MSC: 54B99 08C20 18A99 22A30 PDFBibTeX XMLCite \textit{S. Bonzio} and \textit{A. Loi}, Algebra Univers. 80, No. 3, Paper No. 29, 13 p. (2019; Zbl 1426.54014) Full Text: DOI
Daniyarova, Evelina Yur’evna; Myasnikov, Alexei Georgievich; Remeslennikov, Vladimir Nikanorovich Algebraic geometry over algebraic structures. X: Ordinal dimensions. (English) Zbl 1404.08006 Int. J. Algebra Comput. 28, No. 8, 1425-1448 (2018). MSC: 08A99 03C05 03C07 03C60 06A11 14A22 PDFBibTeX XMLCite \textit{E. Y. Daniyarova} et al., Int. J. Algebra Comput. 28, No. 8, 1425--1448 (2018; Zbl 1404.08006) Full Text: DOI
Davey, Brian A.; Pitkethly, Jane G.; Willard, Ross New-from-old full dualities via axiomatisation. (English) Zbl 1469.08003 Ann. Pure Appl. Logic 169, No. 7, 588-615 (2018). MSC: 08C20 08C05 08C15 03C07 PDFBibTeX XMLCite \textit{B. A. Davey} et al., Ann. Pure Appl. Logic 169, No. 7, 588--615 (2018; Zbl 1469.08003) Full Text: DOI arXiv
Bodirsky, Manuel; Jonsson, Peter; Van Pham, Trung The reducts of the homogeneous binary branching \(C\)-relation. (English) Zbl 1436.03181 J. Symb. Log. 81, No. 4, 1255-1297 (2016). MSC: 03C07 03C98 20B27 08A35 05C55 03C05 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., J. Symb. Log. 81, No. 4, 1255--1297 (2016; Zbl 1436.03181) Full Text: DOI arXiv
Grech, Mariusz; Sapir, Olga On definability in some lattices of semigroup varieties. (English) Zbl 1273.20059 Semigroup Forum 85, No. 3, 477-512 (2012). Reviewer: Leonid M. Martynov (Omsk) MSC: 20M07 08B15 03C07 03C05 PDFBibTeX XMLCite \textit{M. Grech} and \textit{O. Sapir}, Semigroup Forum 85, No. 3, 477--512 (2012; Zbl 1273.20059) Full Text: DOI
Grech, Mariusz The structure and definability in the lattice of equational theories of strongly permutative semigroups. (English) Zbl 1247.03043 Trans. Am. Math. Soc. 364, No. 6, 2959-2985 (2012). MSC: 03C07 03C05 08B15 PDFBibTeX XMLCite \textit{M. Grech}, Trans. Am. Math. Soc. 364, No. 6, 2959--2985 (2012; Zbl 1247.03043) Full Text: DOI
Clark, D. M.; Davey, B. A.; Jackson, M. G.; Pitkethly, J. G. The axiomatizability of topological prevarieties. (English) Zbl 1148.08003 Adv. Math. 218, No. 5, 1604-1653 (2008). Reviewer: Dimitru Buşneag (Craiova) MSC: 08C15 03C05 03C07 03C13 06B30 54H12 PDFBibTeX XMLCite \textit{D. M. Clark} et al., Adv. Math. 218, No. 5, 1604--1653 (2008; Zbl 1148.08003) Full Text: DOI
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit Bisimilarity is not finitely based over BPA with interrupt. (English) Zbl 1154.68084 Theor. Comput. Sci. 366, No. 1-2, 60-81 (2006). MSC: 68Q85 03C05 08A70 68Q10 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 366, No. 1--2, 60--81 (2006; Zbl 1154.68084) Full Text: DOI
Pinus, A. G.; Vazhenin, Yu. M. Elementary classification and decidability of theories of derived structures. (English. Russian original) Zbl 1105.03016 Russ. Math. Surv. 60, No. 3, 395-432 (2005); translation from Usp. Mat. Nauk 60, No. 3, 3-40 (2005). Reviewer: S. R. Kogalovskij (Ivanovo) MSC: 03B25 03C05 03C85 03C07 08A35 08B20 20E15 06A12 PDFBibTeX XMLCite \textit{A. G. Pinus} and \textit{Yu. M. Vazhenin}, Russ. Math. Surv. 60, No. 3, 395--432 (2005; Zbl 1105.03016); translation from Usp. Mat. Nauk 60, No. 3, 3--40 (2005) Full Text: DOI
Staruch, Bożena; Staruch, Bogdan First order theories for partial models. (English) Zbl 1086.03055 Stud. Log. 80, No. 1, 105-120 (2005). MSC: 03G25 08A55 03B70 03C05 03C07 PDFBibTeX XMLCite \textit{B. Staruch} and \textit{B. Staruch}, Stud. Log. 80, No. 1, 105--120 (2005; Zbl 1086.03055) Full Text: DOI
Staruch, Bożena Derivation from partial knowledge in partial models. (English) Zbl 1029.08002 Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 1-2, 75-84 (2003). MSC: 08A55 03C05 03C07 PDFBibTeX XMLCite \textit{B. Staruch}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 1--2, 75--84 (2003; Zbl 1029.08002)
Elgueta, Raimon Freeness in classes without equality. (English) Zbl 0960.03029 J. Symb. Log. 64, No. 3, 1159-1194 (1999). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C52 03C05 03C07 03B22 08C99 PDFBibTeX XMLCite \textit{R. Elgueta}, J. Symb. Log. 64, No. 3, 1159--1194 (1999; Zbl 0960.03029) Full Text: DOI
Elgueta, R. Subdirect representation theory for classes without equality. (English) Zbl 0933.03035 Algebra Univers. 40, No. 2, 201-246 (1998). Reviewer: I.Chajda (Olomouc) MSC: 03C07 08C10 08B26 03C52 PDFBibTeX XMLCite \textit{R. Elgueta}, Algebra Univers. 40, No. 2, 201--246 (1998; Zbl 0933.03035) Full Text: DOI
Czelakowski, J.; Dziobiak, W. The parameterized local deduction theorem for quasivarieties of algebras and its application. (English) Zbl 0863.08011 Algebra Univers. 35, No. 3, 373-419 (1996). Reviewer: J.Schmid (Bern) MSC: 08C15 03C05 03C07 PDFBibTeX XMLCite \textit{J. Czelakowski} and \textit{W. Dziobiak}, Algebra Univers. 35, No. 3, 373--419 (1996; Zbl 0863.08011) Full Text: DOI
Shabunin, L. V. Decidability of the theories of certain infinite, finitely presented quasigroups. (English. Russian original) Zbl 0819.20076 Russ. Math. 36, No. 3, 74-80 (1992); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1992, No. 3(358), 74-79 (1992). Reviewer: G.A.Noskov (Omsk) MSC: 20N05 08C10 03C60 20F10 20M07 03C07 PDFBibTeX XMLCite \textit{L. V. Shabunin}, Russ. Math. 36, No. 3, 1 (1992; Zbl 0819.20076); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1992, No. 3(358), 74--79 (1992)
Degano, Pierpaolo; Gianni, Patrizia A normal form for restricted exponential functions. (English) Zbl 0665.03018 RAIRO, Inf. Théor. Appl. 23, No. 2, 217-231 (1989). MSC: 03C05 68Q65 08B05 03C07 PDFBibTeX XMLCite \textit{P. Degano} and \textit{P. Gianni}, RAIRO, Inform. Théor. Appl. 23, No. 2, 217--231 (1989; Zbl 0665.03018) Full Text: DOI EuDML
Mal’tsev, A. I. Algebraic systems. (Алгебраические системы.) (Russian) Zbl 0223.08001 Sovremennaya Algebra. Moskva: Izdat. “Nauka”, FizMatLit. 392 pp. R. 1.50 (1970). Reviewer: F. Gésceg MSC: 08-02 03-02 08A05 08B05 03C05 03C07 03C20 PDFBibTeX XML