Characterizing Mal’cev conditions

[1]  A. Austin.  A note on models of identities , 1965 .

[2]  Alan Day,et al.  A note on the congruence extension property , 1971 .

[3]  F. W. Lawvere,et al.  Some algebraic problems in the context of functorial semantics of algebraic theories , 1968 .

[4]  O. Chein.  Lagrange's theorem forMk-loops , 1973 .

[5]  Nenosuke Funayama,et al.  109. On the Distributivity of a Lattice of Lattice-congruences , 1942 .

[6]  E. Marczewski,et al.  Independence in abstract algebras results and problems , 1966 .

[7]  Identities in finite partition lattices , 1961 .

[8]  Paul C. Rosenbloom,et al.  Post algebras I. Postulates and general theory , 1942 .

[9]  James B. Nation.  Varieties whose congruences satisfy cerain lattice identities , 1974 .

[10]  Laszlo Kalmar,et al.  Contributions to the reduction theory of the decision problem , 1950 .

[11]  Otto Bird.  What Pierce means by leading principles , 1962, Notre Dame J. Formal Log..

[12]  John L. Bell,et al.  Models and Ultraproducts: An Introduction. , 1969 .

[13]  J. Mycielski,et al.  On powers of bases in some compact algebras , 1968 .

[14]  George Grätzer,et al.  Two Mal'cev-type theorems in universal algebra , 1970 .

[15]  T. Hu.  On the topological duality for primal algebra theory , 1971 .

[16]  David Hilbert,et al.  The Foundations of Geometry , 1903, The Mathematical Gazette.

[17]  W. Neumann.  Representing varieties of algebras by algebras , 1970, Journal of the Australian Mathematical Society.

[18]  J. Hagemann,et al.  Onn-permutable congruences , 1973 .

[19]  Don Pigozzi,et al.  Amalgamation, congruence-extension, and interpolation properties in algebras , 1971 .

[20]  Alan Day,et al.  A Characterization of Modularity for Congruence Lattices of Algebras* , 1969, Canadian Mathematical Bulletin.

[21]  Robert W. Quackenbush,et al.  Demi-semi-primal algebras and Mal'cev-type conditions , 1971 .

[22]  Finite models for laws in two variables , 1966 .

[23]  A. Schmidt.  Über deduktive Theorien mit mehreren Sorten von Grunddingen , 1938 .

[24]  J. Aczél.  Proof of a theorem on distributive type hyperidentities , 1971 .

[25]  W. Taylor.  Some constructions of compact algebras , 1971 .

[26]  P. M. Cohn,et al.  THE METAMATHEMATICS OF ALGEBRAIC SYSTEMS , 1972 .

[27]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[28]  L. Wade,et al.  Post algebras and rings , 1945 .

[29]  Garrett Birkhoff,et al.  Representations of lattices by sets , 1948 .

[30]  G. Grätzer,et al.  Joins and Direct Products of Equational Classes , 1969, Canadian Mathematical Bulletin.

[31]  Bodo Pareigis,et al.  Categories and Functors , 1970 .

[32]  P. J. Higgins.  Algebras with a Scheme of Operators , 1963 .

[33]  A. Mitschke,et al.  Implication algebras are 3-permutable and 3-distributive , 1971 .

[34]  J. Słomiński.  On the determining of the form of congruences in abstract algebras with equationally definable constant elements , 1960 .

[35]  Local Malcev Conditions , 1972, Canadian Mathematical Bulletin.

[36]  A. Schmidt.  Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik , 1951 .

[37]  Finite models of identities , 1963 .

[38]  Alfred Horn,et al.  Congruence relations in direct products , 1970 .

[39]  T. Evans.  Properties of Algebras Almost Equivalent To Identities , 1962 .

[40]  Olgierd Wojtasiewicz,et al.  Elements of mathematical logic , 1964 .

[41]  Philip Kelenson,et al.  Independence and direct factorization of universal algebras , 1971 .

[42]  Law Fw.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .

[43]  G. Grätzer,et al.  On the spectra of classes of algebras , 1967 .

[44]  Regularity and modularity of congruences , 1974 .

[45]  Peter Perkins.  Unsolvable problems for equational theories , 1967, Notre Dame J. Formal Log..

[46]  T. Hu.  Stone duality for primal algebra theory , 1969 .

[47]  A. Pixley,et al.  Distributivity and permutability of congruence relations in equational classes of algebras , 1963 .

[48]  S. Burris,et al.  Models in equational theories of unary algebras , 1971 .

[49]  A remark concerning congruences on [0-]bisimple inverse semigroups , 1971 .

[50]  Algebras over theories , 1971 .

[51]  G. Birkhoff,et al.  On the Structure of Abstract Algebras , 1935 .

[52]  B. H. Neumann,et al.  A semi group representation of varieties of algebras , 1966 .

[53]  A. Goetz,et al.  On weak isomorphisms and weak homomorphisms of abstract algebras , 1966 .

[54]  Trevor Evans,et al.  The Spectrum of a Variety , 1967 .

[55]  H. Thurston.  Derived Operations and Congruences , 1958 .

[56]  Hao Wang,et al.  Logic of many-sorted theories , 1952, Journal of Symbolic Logic.

[57]  Alfred Tarski,et al.  Equational Logic and Equational Theories of Algebras , 1968 .

[58]  K. Fichtner.  VARIETIES OF UNIVERSAL ALGEBRAS WITH IDEALS , 1968 .

[59]  Fixed points of endomorphisms , 1972 .