• DML-CZ Home

08B05 Equational logic, Malcev (Maltsev) conditions (90 articles)

• Barto, Libor: Accessible set functors are universal. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 60 (2019), issue 4, pp. 497-508
• Ježek, J.: An algorithm for free algebras. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 51 (2010), issue 1, pp. 9-17
• Kowalski, Tomasz: Diassociativity is not finitely based relative to power associativity. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 51 (2010), issue 2, pp. 305-317
• Chajda, Ivan; Halaš, Radomír: Varieties satisfying the triangular scheme need not be congruence distributive. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 46 (2007), issue 1, pp. 19-24
• Stronkowski, Michał Marek: On free modes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 4, pp. 561-568
• Ježek, J.; Maróti, M.; McKenzie, R.: Quasiequational theories of flat algebras. (English). Czechoslovak Mathematical Journal, vol. 55 (2005), issue 3, pp. 665-675
• Chajda, Ivan; Dorfer, Gerhard; Länger, Helmut: Local versions of some congruence properties in single algebras. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 43 (2004), issue 1, pp. 65-73
• Chajda, Ivan: Generalized deductive systems in subregular varieties. (English). Mathematica Bohemica, vol. 128 (2003), issue 3, pp. 319-324
• Chajda, Ivan: Lattices and semilattices having an antitone involution in every upper interval. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 44 (2003), issue 4, pp. 577-585
• Bělohlávek, Radim: Some properties of residuated lattices. (English). Czechoslovak Mathematical Journal, vol. 53 (2003), issue 1, pp. 161-171
• Chajda, Ivan; Czédli, Gábor; Horváth, Eszter K.: Trapezoid lemma and congruence distributivity. (English). Mathematica Slovaca, vol. 53 (2003), issue 3, pp. 247-253
• Bělohlávek, Radim: Convex sets in algebras. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 41 (2002), issue 1, pp. 21-33
• Czédli, Gábor; Horváth, Eszter K.: Reflexive relations and Mal'tsev conditions for congruence lattice identities in modular varieties. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 41 (2002), issue 1, pp. 43-53
• Ježek, J.: Three-variable equations of posets. (English). Czechoslovak Mathematical Journal, vol. 52 (2002), issue 4, pp. 811-816
• Chajda, Ivan: A common generalization of permutability and 0-permutability. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 40 (2001), issue 1, pp. 23-29
• Bělohlávek, R.: A remark on the ideal extension property. (English). Acta Mathematica et Informatica Universitatis Ostraviensis, vol. 9 (2001), issue 1, pp. 13-14
• Chajda, Ivan; Länger, Helmut: A simple basis of ideal terms of Brouwerian semilattices. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 40 (2001), issue 1, pp. 37-42
• Chajda, Ivan: Varieties which are locally regular and permutable at 0. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 40 (2001), issue 1, pp. 31-35
• Ježek, Jaroslav; Kepka, Tomáš: The equational theory of paramedial cancellation groupoids. (English). Czechoslovak Mathematical Journal, vol. 50 (2000), issue 1, pp. 25-34
• Chajda, Ivan: Uniformity of congruences in coherent varieties. (English). Mathematica Bohemica, vol. 125 (2000), issue 3, pp. 269-273
• Chajda, I.; Halaš, R.; Pinus, A. G.: Algebraic duality of constant algebras. (English). Czechoslovak Mathematical Journal, vol. 49 (1999), issue 2, pp. 415-420
• Chajda, Ivan; Graczyńska, Ewa: Algebras presented by normal identities. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 38 (1999), issue 1, pp. 49-58
• Chajda, Ivan: Algebras satisfying certain quasiorder identities. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 38 (1999), issue 1, pp. 35-41
• Chajda, Ivan: Locally coherent algebras. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 38 (1999), issue 1, pp. 43-48
• Balog, Krisztina; Czédli, Gábor: Mal'cev functions on smalgebras. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 38 (1999), issue 1, pp. 7-16
• Romanowska, Anna: On reductive and distributive algebras. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 40 (1999), issue 4, pp. 617-629
• Dudek, Józef: Small idempotent clones. I. (English). Czechoslovak Mathematical Journal, vol. 48 (1998), issue 1, pp. 105-118
• Chajda, Ivan; Duda, Jaromír: Compact universal relation in varieties with constants. (English). Czechoslovak Mathematical Journal, vol. 47 (1997), issue 1, pp. 173-178
• Chajda, Ivan: The degrees of regularity in varieties. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 36 (1997), issue 1, pp. 27-31
• Chajda, Ivan: Jónsson's lemma for normally presented varieties. (English). Mathematica Bohemica, vol. 122 (1997), issue 4, pp. 381-382
• Barbour, Graham D.; Raftery, James G.: On the degrees of permutability of subregular varieties. (English). Czechoslovak Mathematical Journal, vol. 47 (1997), issue 2, pp. 317-325
• Chajda, Ivan: Rees ideal algebras. (English). Mathematica Bohemica, vol. 122 (1997), issue 2, pp. 125-130
• Szymański, Robert: Decidability of weak equational theories. (English). Czechoslovak Mathematical Journal, vol. 46 (1996), issue 4, pp. 629-664
• Ježek, Jaroslav: A note on finite sets of terms closed under subterms and unification. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 37 (1996), issue 3, pp. 655-656
• Chajda, Ivan: Regularity and permutability via transferability of tolerances. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 35 (1996), issue 1, pp. 39-42
• Chajda, Ivan: Varieties having the congruence extension property. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 34 (1995), issue 1, pp. 63-68
• Chajda, Ivan: Characterizing tolerance trivial finite algebras. (English). Archivum Mathematicum, vol. 30 (1994), issue 3, pp. 165-169
• Chajda, Ivan: Principal tolerances on lattices. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 33 (1994), issue 1, pp. 17-22
• Žembery, Ivan: On a variety of infinite algebras. (English). Czechoslovak Mathematical Journal, vol. 43 (1993), issue 1, pp. 151-155
• Duda, Jaromír: Subcoherent algebras. (English). Czechoslovak Mathematical Journal, vol. 43 (1993), issue 2, pp. 281-284
• Duda, Jaromír: Congruence restrictions on axes. (English). Mathematica Bohemica, vol. 117 (1992), issue 3, pp. 251-258
• Duda, Jaromír: Factorable congruences and factorable congruence blocks on powers of a finite algebra. (English). Czechoslovak Mathematical Journal, vol. 42 (1992), issue 1, pp. 89-93
• Chajda, Ivan: A note on varieties with distributive subalgebra lattices. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 31 (1992), issue 1, pp. 25-28
• Raftery, J. G.; Sturm, T.: Tolerance numbers, congruence $n$-permutability and BCK-algebras. (English). Czechoslovak Mathematical Journal, vol. 42 (1992), issue 4, pp. 727-740
• Chajda, Ivan: Every at most four element algebra has a Mal'cev theory for permutability. (English). Mathematica Slovaca, vol. 41 (1991), issue 1, pp. 35-39
• Czédli, Gábor: Notes on congruence implication. (English). Archivum Mathematicum, vol. 27 (1991), issue 2, pp. 149-153
• Pedicchio, M. C.: On n-permutable equivalence relations in regular categories. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 32 (1991), issue 2, pp. 29-39
• Romanowska, Anna B.; Smith, J. D. H.: On the structure of semilattice sums. (English). Czechoslovak Mathematical Journal, vol. 41 (1991), issue 1, pp. 24-43
• Chajda, Ivan: Permutability of congruences in varieties with idempotent operations. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 30 (1991), issue 1, pp. 33-37
• Chajda, Ivan: Varieties having distributive lattices of quasiorders. (English). Czechoslovak Mathematical Journal, vol. 41 (1991), issue 1, pp. 85-89
• Duda, Jaromír: Varieties with rectangular ideals. (English). Mathematica Slovaca, vol. 41 (1991), issue 1, pp. 29-33
• Chajda, Ivan: Weak coherence of congruences. (English). Czechoslovak Mathematical Journal, vol. 41 (1991), issue 1, pp. 149-154
• Płonka, Jerzy: Biregular and uniform identities of algebras. (English). Czechoslovak Mathematical Journal, vol. 40 (1990), issue 3, pp. 367-387
• Duda, Jaromír: Mal'cev-type theorems for partial congruences. (English). Časopis pro pěstování matematiky, vol. 115 (1990), issue 2, pp. 204-210
• Chajda, Ivan: A note on permutability in varieties. (English). Časopis pro pěstování matematiky, vol. 115 (1990), issue 1, pp. 85-91
• Płonka, Jerzy: $P$-compatible identities and their applications to classical algebras. (English). Mathematica Slovaca, vol. 40 (1990), issue 1, pp. 21-30
• Ježek, Jaroslav; Newrly, Norbert; Tůma, Jiří: Remarks on equational theories of semilattices with operators. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 31 (1990), issue 3, pp. 415-425
• Duda, Jaromír: Coherence implies congruence-regularity (a local version). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 191
• Duda, Jaromír: Coherence in varieties of algebras. (English). Czechoslovak Mathematical Journal, vol. 39 (1989), issue 4, pp. 711-716
• Duda, Jaromír: Mal'cev conditions for directly decomposable compatible relations. (English). Czechoslovak Mathematical Journal, vol. 39 (1989), issue 4, pp. 674-680
• Baker, Kirby A.; McNulty, George F.; Werner, Heinrich: Shift-automorphism methods for inherently nonfinitely based varieties of algebras. (English). Czechoslovak Mathematical Journal, vol. 39 (1989), issue 1, pp. 53-69
• Ježek, Jaroslav; Kepka, Tomáš: Varieties of groupoids determined by short linear identities. (English). Czechoslovak Mathematical Journal, vol. 39 (1989), issue 4, pp. 644-658
• Chajda, Ivan: The egg-box property of congruences. (English). Mathematica Slovaca, vol. 38 (1988), issue 3, pp. 243-247
• Movsisjan, Ju. M.: Сверхтождвства ассоциативности ранга 1 и его следстия. (Russian) [Hyperidentities of associativity of rank 1 and its consequences]. Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 2, pp. 365-378
• Duda, Jaromír: Arithmeticity at 0. (English). Czechoslovak Mathematical Journal, vol. 37 (1987), issue 2, pp. 197-206
• Pöschel, Reinhard; Wessel, Walter: Classes of graphs definable by graph algebra identities or quasi-identities. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 3, pp. 581-592
• Chajda, Ivan: Directly decomposable congruences in varieties with nullary operations. (English). Mathematica Slovaca, vol. 37 (1987), issue 1, pp. 31-35
• Chajda, Ivan: On the one principal congruence identity. (English). Archivum Mathematicum, vol. 23 (1987), issue 4, pp. 187-190
• Chajda, Ivan: Congruence distributivity in varieties with constants. (English). Archivum Mathematicum, vol. 22 (1986), issue 3, pp. 121-124
• Duda, Jaromír: Congruences on products in varieties satisfying the CEP. (English). Mathematica Slovaca, vol. 36 (1986), issue 2, pp. 171-177
• Ježek, Jaroslav: Equational theories of some almost unary groupoids. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 3, pp. 421-433
• Pondělíček, Bedřich: Tolerance distributive and tolerance Boolean varieties of semigroups. (English). Czechoslovak Mathematical Journal, vol. 36 (1986), issue 4, pp. 617-622
• Ursini, Aldo: Prime ideals in universal algebras. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 25 (1984), issue 1, pp. 75-87
• Chajda, Ivan: Regularity in arithmetical varieties. (English). Archivum Mathematicum, vol. 20 (1984), issue 4, pp. 177-182
• Chajda, Ivan: Transferable principal congruences and regular algebras. (English). Mathematica Slovaca, vol. 34 (1984), issue 1, pp. 97-102
• Duda, Jaromír: Regularity of algebras with applications to congruence class geometry. (English). Archivum Mathematicum, vol. 19 (1983), issue 4, pp. 199-208
• Płonka, Jerzy: Subdirectly irreducible groupoids in some varieties. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 4, pp. 631-645
• Chajda, Ivan: Direct decomposability of congruences in congruence-permutable varieties. (English). Mathematica Slovaca, vol. 32 (1982), issue 1, pp. 93-96
• Chajda, Ivan; Duda, Jaromír: Finitely generated relations and their applications to permutable and $n$-permutable varieties. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 1, pp. 41-54
• Molnár, Josef: Hereditary properties of algebras with respect to inductive limits. (English). Sborník prací Přírodovědecké fakulty University Palackého v Olomouci. Matematika, vol. 21 (1982), issue 1, pp. 5-8
• Ježek, Jaroslav: The number of minimal varieties of idempotent groupoids. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 1, pp. 199-205
• Pollák, G.; Szendrei, Ágnes: Independent basis for the identities of entropic groupoids. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 1, pp. 71-85
• Ježek, Jaroslav: The lattice of equational theories. Part I: Modular elements. (English). Czechoslovak Mathematical Journal, vol. 31 (1981), issue 1, pp. 127-152
• Fauknerová, Jarmila: A note on the finite extensivity property. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 1, pp. 137-143
• Cornish, William H.: A ternary variety generated by lattices. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 773-784
• Reiterman, Jan: Birkhoff variety theorem for finite algebras. (English). In: Frolík, Z. (ed.): Abstracta. 8th Winter School on Abstract Analysis. Czechoslovak Academy of Sciences, Praha, 1980. pp. 134-137
• Chajda, Ivan: Tolerances and the Chinese remainder theorem. (English). Mathematica Slovaca, vol. 30 (1980), issue 4, pp. 369-371
• Duda, Jaromír: Mal'cev conditions for congruence-regular and congruence-permutable varieties. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 795
• Saade, Marshall: A note on some varieties of point algebras. (English). Czechoslovak Mathematical Journal, vol. 29 (1979), issue 1, pp. 21-26
• Haviar, Alfonz: On $G$-lattices. (English). Mathematica Slovaca, vol. 29 (1979), issue 1, pp. 17-24