Yang, Eunsuk Birkhoff’s and Mal’cev’s theorems for implicational tonoid logics. (English) Zbl 07703392 Stud. Log. 111, No. 3, 501-519 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Bredikhin, Dmitriĭ Aleksandrovich On semigroups of relations with the operation of left and right rectangular products. (English) Zbl 1454.20106 Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. 20, No. 3, 280-289 (2020). MSC: 20M07 20M20 08B05 08C15 06F05 × Cite Format Result Cite Review PDF Full Text: DOI MNR OA License
Bredikhin, D. A. On algebras of relations with operations of left and right reflexive product. (English) Zbl 1471.08004 Lobachevskii J. Math. 41, No. 2, 160-167 (2020). Reviewer: Keith Kearnes (Boulder) MSC: 08C15 06F05 03G15 × Cite Format Result Cite Review PDF Full Text: DOI
Drugus, Ioachim M.; Skobelev, Volodymyr G. Imbrication algebras – algebraic structures of nesting order. (English) Zbl 1445.08001 Comput. Sci. J. Mold. 26, No. 3(78), 233-250 (2018). MSC: 08A70 68P05 × Cite Format Result Cite Review PDF Full Text: Link
Choban, M. M.; Budanaev, I. A. Distances on free semigroups and their applications. (English) Zbl 1406.20054 Bul. Acad. Ştiinţe Repub. Mold., Mat. 2018, No. 1(86), 92-119 (2018). MSC: 20M05 20M07 22A15 54E35 20F10 × Cite Format Result Cite Review PDF Full Text: Link
Sheremet, Mikhaĭl Sergeevich Finite algebras with non-computable morphisms. (Russian. English summary) Zbl 1386.08001 Sib. Èlektron. Mat. Izv. 14, 1147-1152 (2017). MSC: 08A55 03D45 08B05 08A50 × Cite Format Result Cite Review PDF Full Text: DOI
Martins-Ferreira, Nelson New wide classes of weakly Mal’tsev categories. (English) Zbl 1329.18006 Appl. Categ. Struct. 23, No. 5, 741-751 (2015). Reviewer: Sergejs Solovjovs (Brno) MSC: 18B30 08B05 18A20 18B25 × Cite Format Result Cite Review PDF Full Text: DOI
Choban, Mitrofan M.; Chiriac, Liubomir L. On free groups in classes of groups with topologies. (English) Zbl 1300.22003 Bul. Acad. Ştiinţe Repub. Mold., Mat. 2013, No. 2(72)-3(73), 61-79 (2013). MSC: 22A99 22F30 54H11 54E15 × Cite Format Result Cite Review PDF Full Text: Link
Janelidze, George; Sobral, Manuela Profinite relational structures. (English) Zbl 1169.54014 Cah. Topol. Géom. Différ. Catég. 49, No. 4, 280-288 (2008). Reviewer: Paul Bankston (Milwaukee) MSC: 54F05 18A30 18D30 03C52 22A30 × Cite Format Result Cite Review PDF Full Text: EuDML
Bludov, V. V.; Glass, A. M. W. On the variety generated by all nilpotent lattice-ordered groups. (English) Zbl 1110.06019 Trans. Am. Math. Soc. 358, No. 12, 5179-5192 (2006). Reviewer: Marius Tarnauceanu (Iaşi) MSC: 06F15 20F18 20F12 × Cite Format Result Cite Review PDF Full Text: DOI
Davey, B. A.; Talukder, M. R. Dual categories for endodualisable Heyting algebras: optimization and axiomatization. (English) Zbl 1092.06010 Algebra Univers. 53, No. 2-3, 331-355 (2005). Reviewer: Václav Slavík (Praha) MSC: 06D20 06D50 08A60 × Cite Format Result Cite Review PDF Full Text: DOI
Mayet, R.; Pták, P. Orthomodular lattices with state-separated noncompatible pairs. (English) Zbl 1047.06005 Czech. Math. J. 50, No. 2, 359-366 (2000). MSC: 06C15 81P10 08C15 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Bergman, Clifford; Slutzki, Giora Complexity of some problems concerning varieties and quasi-varieties of algebras. (English) Zbl 0963.68077 SIAM J. Comput. 30, No. 2, 359-382 (2000). MSC: 68Q25 08C15 08A40 68Q65 08B15 × Cite Format Result Cite Review PDF Full Text: DOI
Vitale, Enrico M. Quasi-varieties of presheaves. (English) Zbl 0949.18004 Theory Appl. Categ. 7, 236-238 (2000). Reviewer: P.Cherenack (Rondebosch) MSC: 18F20 18A40 18B25 × Cite Format Result Cite Review PDF Full Text: EuDML EMIS
Barr, Michael; Pedicchio, M. Cristina Topological spaces and quasi-varieties. (English) Zbl 0879.18009 Giuli, Eraldo (ed.), Categorical topology. Proceedings of the L’Aquila conference, August 31–September 4, 1994, L’Aquila, Italy. Dordrecht: Kluwer. 81-85 (1996). MSC: 18B30 08C15 18A40 18C15 54B10 × Cite Format Result Cite Review PDF
Barr, Michael; Pedicchio, M. Cristina Topological spaces and quasi-varieties. (English) Zbl 0879.18008 Appl. Categ. Struct. 4, No. 1, 81-85 (1996). Reviewer: P.T.Johnstone (Cambridge) MSC: 18B30 08C15 18A40 18C15 54B10 × Cite Format Result Cite Review PDF Full Text: DOI
Hart, B.; Starchenko, S. Superstable quasi-varieties. (English) Zbl 0812.08008 Ann. Pure Appl. Logic 69, No. 1, 53-71 (1994). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 08C15 03C45 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Shuhua Certain operators related to Mal’cev products on varieties of completely regular semigroups. (English) Zbl 0815.20050 J. Algebra 168, No. 1, 249-272 (1994). Reviewer: L.M.Martynov (Omsk) MSC: 20M07 20M17 08B15 08A30 08C15 × Cite Format Result Cite Review PDF Full Text: DOI
Lewin, Renato A.; Mikenberg, Irene F.; Schwarze, Maria G. P1 algebras. (English) Zbl 0805.03055 Stud. Log. 53, No. 1, 21-28 (1994). Reviewer: A.Karpenko (Moskva) MSC: 03G25 03B53 08B20 × Cite Format Result Cite Review PDF Full Text: DOI
Roĭz, E. N. On a semilattice shift in the lattice of quasivarieties of semigroups. (Russian) Zbl 0815.20047 Teor. Polugrupp Prilozh. 11, 39-42 (1993). Reviewer: Leonid M. Martynov (Omsk) MSC: 20M07 08C15 08B15 × Cite Format Result Cite Review PDF
Goguen, Joseph A.; Meseguer, José Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. (English) Zbl 0778.68056 Theor. Comput. Sci. 105, No. 2, 217-273 (1992). Reviewer: S.Bloom (Hoboken) MSC: 68Q55 08A70 06F99 × Cite Format Result Cite Review PDF Full Text: DOI
Czelakowski, Janusz; Dziobiak, Wiesław A single quasi-identity for a quasivariety with the Fraser-Horn property. (English) Zbl 0751.08005 Algebra Univers. 29, No. 1, 10-15 (1992). Reviewer: E.Fried (Budapest) MSC: 08C15 × Cite Format Result Cite Review PDF Full Text: DOI
Pigozzi, Don Equality-test and if-then-else algebras: Axiomatization and specification. (English) Zbl 0736.68061 SIAM J. Comput. 20, No. 4, 766-805 (1991). MSC: 68Q65 08B05 68P05 08A05 08C15 × Cite Format Result Cite Review PDF Full Text: DOI
Epanchintsev, V. I.; Kukin, G. P. On Higman quasi-varieties. (Russian) Zbl 0714.17001 Computable invariants in the theory of algebraic systems, Collect. Sci. Works, Novosibirsk, 90-109 (1987). Reviewer: L.A.Bokut’ MSC: 17A30 08B15 × Cite Format Result Cite Review PDF
Schein, Boris M. Multigroups. (English) Zbl 0659.20053 J. Algebra 111, No. 1, 114-132 (1987). Reviewer: B.M.Schein MSC: 20M20 20M30 20M10 × Cite Format Result Cite Review PDF Full Text: DOI
Budkin, A. I. Independent axiomatizability of quasivarieties of generalized solvable groups. (English. Russian original) Zbl 0621.20011 Algebra Logic 25, 155-166 (1986); translation from Algebra Logika 25, No. 3, 249-266 (1986). Reviewer: G.A.Noskov MSC: 20E10 20F16 08C15 20F19 20F60 06F15 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Romanovskij, N. S. Generalized theorem on the freedom for pro-p-groups. (Russian) Zbl 0599.20038 Sib. Mat. Zh. 27, No. 2(156), 154-170 (1986). Reviewer: Yu.Mukhin MSC: 20E18 20E10 20F18 20F05 × Cite Format Result Cite Review PDF Full Text: EuDML
Goldblatt, Robert An algebraic study of well-foundedness. (English) Zbl 0611.03030 Stud. Log. 44, 423-437 (1985). MSC: 03G05 03B45 03C05 × Cite Format Result Cite Review PDF Full Text: DOI
Adámek, J.; Nelson, E.; Reiterman, J. Corrigendum to “The Birkhoff variety theorem for continuous algebras”. (English) Zbl 0603.08010 Algebra Univers. 21, 136 (1985). MSC: 08A65 08C15 08C05 08B05 × Cite Format Result Cite Review PDF Full Text: DOI
Otal, Javier On subjunctive classes of groups. (English) Zbl 0598.20030 Publ., Secc. Mat., Univ. Autòn. Barc. 29, No. 2-3, 119-122 (1985). Reviewer: J.R.J.Groves MSC: 20E15 20E10 × Cite Format Result Cite Review PDF
Adámek, Jiři; Nelson, Evelyn; Reiterman, Jan The Birkhoff variety theorem for continuous algebras. (English) Zbl 0594.08005 Algebra Univers. 20, 328-350 (1985). Reviewer: H.Yutani MSC: 08A65 08C15 08C05 08B05 × Cite Format Result Cite Review PDF Full Text: DOI
Valutseh, I. I.; Prodan, N. I. On the extension of partial algebras to total algebras of a quasi- variety. (Russian) Zbl 0577.08010 Mat. Issled. 83, 39-43 (1985). Reviewer: E.Płonka MSC: 08C15 08A55 08B20 × Cite Format Result Cite Review PDF Full Text: EuDML
Arora, Ashok Kumar Quasi-varieties of lattice ordered groups. (English) Zbl 0562.06007 Algebra Univers. 20, 34-50 (1985). Reviewer: A.M.W.Glass MSC: 06F15 08C15 08B15 06B20 20E10 × Cite Format Result Cite Review PDF Full Text: DOI
Clark, David M.; Krauss, Peter H. Topological quasi varieties. (English) Zbl 0561.08005 Acta Sci. Math. 47, 3-39 (1984). Reviewer: S.Gacsályi MSC: 08C15 08A65 22A30 × Cite Format Result Cite Review PDF
McKenzie, Ralph The number of non-isomorphic models in quasi-varieties of semigroups. (English) Zbl 0525.20042 Algebra Univers. 16, 195-203 (1983). MSC: 20M07 08C15 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Benecke, Klaus; Reichel, Horst Equational partiality. (English) Zbl 0524.08005 Algebra Univers. 16, 219-232 (1983). MSC: 08A55 03C05 08C15 × Cite Format Result Cite Review PDF Full Text: DOI
Nemeti, I. On notions of factorization systems and their applications to cone- injective subcategories. (English) Zbl 0516.18001 Period. Math. Hung. 13, 229-235 (1982). MSC: 18A20 08C10 18A32 18D05 03C60 18C05 × Cite Format Result Cite Review PDF Full Text: DOI
Budkin, A. I. Independent axiomatizability of group quasivarieties. (Russian) Zbl 0508.20014 Mat. Zametki 31, 817-826 (1982). MSC: 20E10 20A15 08C15 × Cite Format Result Cite Review PDF
Bloom, Stephen L.; Wright, Jesse B. Finitary quasi-varieties. (English) Zbl 0493.18004 J. Pure Appl. Algebra 25, 121-154 (1982). MSC: 18E20 18B15 08C15 18A30 × Cite Format Result Cite Review PDF Full Text: DOI
Nemeti, Istvan Every free algebra in the variety generated by the representable dynamic algebras is separable and representable. (English) Zbl 0491.08012 Theor. Comput. Sci. 17, 343-347 (1982). MSC: 08B20 03G25 08A05 08C15 × Cite Format Result Cite Review PDF Full Text: DOI
Botnaru, D. V. On c-reflexive subcategories. (Russian) Zbl 0537.08009 General algebra and discrete geometry, Interuniv. Collect., Kishinev 1980, 9-10 (1980). MSC: 08C15 18A20 18G05 08B15 08B30 18A40 × Cite Format Result Cite Review PDF
Belkin, V. P. Quasiidentities of finite rings and lattices. (Russian) Zbl 0422.16015 Algebra Logika 17, 247-259 (1978). MSC: 16P10 16Rxx 08B15 08C15 06B20 06C05 × Cite Format Result Cite Review PDF Full Text: EuDML
Tiuryn, J. Fixed-points and algebras with infinitely long expressions. II. (English) Zbl 0392.68013 Fundam. Comput. Theory, Proc. int. Conf., Poznan-Kornik 1977, Lect. Notes Comput. Sci. 56, 332-339 (1977). MSC: 68P05 08A50 08B05 08C15 × Cite Format Result Cite Review PDF