Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties.
Page 1 Next
Displaying 1 – 20 of 25
Rees ideal algebras
Ivan Chajda (1997)
Mathematica Bohemica
We describe algebras and varieties for which every ideal is a kernel of a one-block congruence.
Refinement Monoids, Vaught Monoids, and Boolean Algebras.
Hans Dobbertin (1983)
Mathematische Annalen
Reflexive relations and Mal'tsev conditions for congruence lattice identities in modular varieties
Gábor Czédli, Eszter K. Horváth (2002)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Reg-strongly solid varieties of commutative semigroups
Sarawut Phuapong, Sorasak Leeratanavalee (2011)
Matematički Vesnik
Regularity and permutability via transferability of tolerances
Ivan Chajda (1996)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Regularity in arithmetical varieties
Ivan Chajda (1984)
Archivum Mathematicum
Regularity of algebras with applications to congruence class geometry
Jaromír Duda (1983)
Archivum Mathematicum
Relation products of congruences and factor congruences
Jaromír Duda (1991)
Czechoslovak Mathematical Journal
Relational characterizations of permutable and -permutable varieties
Ivan Chajda, Jiří Rachůnek (1983)
Czechoslovak Mathematical Journal
Relative congruence distributivity within quasivarieties of nearly associative Φ-algebras
Wiesław Dziobiak (1990)
Fundamenta Mathematicae
Relatively free *-bands.
Petrich, Mario, Silva, Pedro V. (2000)
Beiträge zur Algebra und Geometrie
Relatively free lattices
B. Jónsson (1970)
Colloquium Mathematicae
Relatively pseudocomplemented directoids
Ivan Chajda (2009)
Commentationes Mathematicae Universitatis Carolinae
The concept of relative pseudocomplement is introduced in a commutative directoid. It is shown that the operation of relative pseudocomplementation can be characterized by identities and hence the class of these algebras forms a variety. This variety is congruence weakly regular and congruence distributive. A description of congruences via their kernels is presented and the kernels are characterized as the so-called -ideals.
Remarks on C-independence in Cartesian products of abstract algebras
J. Anusiak, B. Weglorz (1970)
Colloquium Mathematicae
Remarks on equational theories of semilattices with operators
Jaroslav Ježek, Norbert Newrly, Jiří Tůma (1990)
Commentationes Mathematicae Universitatis Carolinae
Remarks on -independence of Stone algebras
Anna Chwastyk, Kazimierz Głazek (2006)
Mathematica Slovaca
Remarks on quasivarieties of algebras
Ahmad Shafaat (1973)
Archivum Mathematicum
Remarks on tolerance algebras
Karel Drbohlav (1981)
Acta Universitatis Carolinae. Mathematica et Physica
Représentations matricielles des séries d'arbre reconnaissables
Symeon Bozapalidis, Athanasios Alexandrakis (1989)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Currently displaying 1 – 20 of 25
Page 1 Next