On the public citation graph
Congruence varieties
0 signed · 93 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf02485428openalex-snapshot
3–3 lattice inclusions imply congruence modularity
inferredcites →https://doi.org/10.1007/bf02485709openalex-snapshot
Varieties whose congruences satisfy cerain lattice identities
inferredcites →https://doi.org/10.1007/bf02485830openalex-snapshot
Congruence modularity implies the Arguesian identity
inferredcites →https://doi.org/10.1007/bf02485835openalex-snapshot
A new proof of the congruence lattice representation theorem
inferredcites →https://doi.org/10.1007/bf02485837openalex-snapshot
Lattice conditions implying congruence modularity
inferredcites →https://doi.org/10.1007/bf02944976openalex-snapshot
Implication algebras are 3-permutable and 3-distributive
inferredcites →https://doi.org/10.1007/bf02945054openalex-snapshot
The class of arguesian lattices is self-dual
inferredcites →https://doi.org/10.1007/bf02945103openalex-snapshot
Weak (projective) radius and finite equational bases for classes of lattices
inferredcites →https://doi.org/10.1007/bf02945118openalex-snapshot
A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
inferredcites →https://doi.org/10.1007/bf02945142openalex-snapshot
p-Modularity implies modularity in equational classes
inferredcites →https://doi.org/10.1016/0001-8708(77)90056-1openalex-snapshot
Finite equational bases for finite algebras in a congruence-distributive equational class
inferredcites →https://doi.org/10.1016/0021-8693(64)90004-3openalex-snapshot
Identical relations in finite groups
inferredcites →https://doi.org/10.1016/s0021-9800(70)80086-2openalex-snapshot
Two Mal'cev-type theorems in universal algebra
inferredcites →https://doi.org/10.1090/s0002-9939-1954-0060482-6openalex-snapshot
Identities in Finite Algebras
inferredcites →https://doi.org/10.1090/s0002-9939-1963-0146104-xopenalex-snapshot
Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
inferredcites →https://doi.org/10.1090/s0002-9939-1979-0516452-1openalex-snapshot
On Baker's Finite Basis Theorem for Congruence Distributive Varieties
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0108459-5openalex-snapshot
Representation of Modular Lattices and Of Relation Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1972-0313141-1openalex-snapshot
Equational Bases and Nonmodular Lattice Varieties
inferredcites →https://doi.org/10.1093/qmath/15.1.131openalex-snapshot
IDENTICAL RELATIONS IN FINITE SOLUBLE GROUPS
inferredcites →https://doi.org/10.2140/pjm.1969.30.95openalex-snapshot
Representations of primary Arguesian lattices
inferredcites →https://doi.org/10.2140/pjm.1973.45.507openalex-snapshot
The amalgamation property in equational classes of modular lattices
inferredcites →https://doi.org/10.2307/2272131openalex-snapshot
A model theoretic approach to Malcev conditions
inferredcites →https://doi.org/10.3792/pia/1195573786openalex-snapshot
On the distributivity of a lattice of lattice-congruences
inferredcites →https://doi.org/10.4064/cm-42-1-255-261openalex-snapshot
On finitely based varieties of algebras
inferredcites →https://doi.org/10.4153/cmb-1969-016-6openalex-snapshot
A Characterization of Modularity for Congruence Lattices of Algebras*
inferredcites →https://doi.org/10.7146/math.scand.a-10377openalex-snapshot
On the representation of lattices
inferredcites →https://doi.org/10.7146/math.scand.a-10416openalex-snapshot
Modular lattices and Desargues' theorem
inferredcites →https://doi.org/10.7146/math.scand.a-10850openalex-snapshot
Algebras Whose Congruence Lattices are Distributive.
inferredcites →https://doi.org/10.7146/math.scand.a-10984openalex-snapshot
Equational Bases for Lattice Theories.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/jabr.1999.7874openalex-snapshot
Congruence Modularity Implies the Arguesian Law for Single Algebras with a Difference Term
inferred← citeshttps://doi.org/10.1007/3-540-51081-8_112openalex-snapshot
An equational logic sampler
inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_2openalex-snapshot
Universal Algebraic Methods for Non-classical Logics
inferred← citeshttps://doi.org/10.1007/bf01190431openalex-snapshot
Horn sentences with (W) and weak Mal'cev conditions
inferred← citeshttps://doi.org/10.1007/bf01190927openalex-snapshot
n-Permutable varieties satisfy non trivial congruence identities
inferred← citeshttps://doi.org/10.1007/bf01194536openalex-snapshot
Nondefinability of projectivity in lattice varieties
inferred← citeshttps://doi.org/10.1007/bf01196101openalex-snapshot
How are diamond identities implied in congruence varieties?
inferred← citeshttps://doi.org/10.1007/bf01200487openalex-snapshot
Alan Day's early work: congruence identities
inferred← citeshttps://doi.org/10.1007/bf01221791openalex-snapshot
A perspective on algebraic representations of lattices
inferred← citeshttps://doi.org/10.1007/bf01974108openalex-snapshot
Mal'cev conditions for Horn sentences with congruence permutability
inferred← citeshttps://doi.org/10.1007/bf01978389openalex-snapshot
Mal'tsev classes with a given property
inferred← citeshttps://doi.org/10.1007/bf01978880openalex-snapshot
Mal'tsev conditions and representability of manifolds
inferred← citeshttps://doi.org/10.1007/bf01979022openalex-snapshot
Lattices of congruence classes of algebras
inferred← citeshttps://doi.org/10.1007/bf01982209openalex-snapshot
Universal definability of Mal'tsev classes
inferred← citeshttps://doi.org/10.1007/bf01987298openalex-snapshot
The cardinality of subdirectly irreducible systems in quasivarieties
inferred← citeshttps://doi.org/10.1007/bf02104827openalex-snapshot
Representability types of varieties and Malcev strict conditions
inferred← citeshttps://doi.org/10.1007/bf02133176openalex-snapshot
Congruence-distributive varieties of algebras
inferred← citeshttps://doi.org/10.1007/bf02260881openalex-snapshot
Infinite primal algebras and post varieties
inferred← citeshttps://doi.org/10.1007/bf02483117openalex-snapshot
General Lattice Theory: 1979 Problem Update
inferred← citeshttps://doi.org/10.1007/bf02483903openalex-snapshot
Some applications of the term condition
inferred← citeshttps://doi.org/10.1007/bfb0063432openalex-snapshot
A characterization for congruence semi-distributivity
inferred← citeshttps://doi.org/10.1007/bfb0063433openalex-snapshot
Geometrical applications in modular lattices
inferred← citeshttps://doi.org/10.1007/s00012-003-1818-0openalex-snapshot
All congruence lattice identities implying modularity have Mal?tsev conditions
inferred← citeshttps://doi.org/10.1007/s00012-005-1893-5openalex-snapshot
Optimal Mal’tsev conditions for congruence modular varieties
inferred← citeshttps://doi.org/10.1007/s00012-008-2060-6openalex-snapshot
Terms which are Mal’cev modulo some functions
inferred← citeshttps://doi.org/10.1007/s00012-008-2076-yopenalex-snapshot
On the semidistributivity of elements in weak congruence lattices of algebras and groups
inferred← citeshttps://doi.org/10.1007/s00012-012-0186-zopenalex-snapshot
An easy test for congruence modularity
inferred← citeshttps://doi.org/10.1007/s00012-018-0491-2openalex-snapshot
The Jónsson distributivity spectrum
inferred← citeshttps://doi.org/10.1007/s00012-019-0624-2openalex-snapshot
Relation identities in 3-distributive varieties
inferred← citeshttps://doi.org/10.1007/s00012-024-00855-7openalex-snapshot
Relative lengths of Maltsev conditions
inferred← citeshttps://doi.org/10.1007/s000120050005openalex-snapshot
Maltsev conditions and relations on algebras
inferred← citeshttps://doi.org/10.1007/s00013-020-01503-xopenalex-snapshot
The Gumm level equals the alvin level in congruence distributive varieties
inferred← citeshttps://doi.org/10.1007/s10485-007-9114-3openalex-snapshot
Mal’cev Conditions Revisited
inferred← citeshttps://doi.org/10.1007/s10773-023-05413-wopenalex-snapshot
Subreducts and Subvarieties of PBZ *–lattices*
inferred← citeshttps://doi.org/10.1016/0747-7171(92)90013-topenalex-snapshot
A field guide to equational logic
inferred← citeshttps://doi.org/10.1017/s1446788720000373openalex-snapshot
THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
inferred← citeshttps://doi.org/10.1023/a:1004849727945openalex-snapshot
Quasi-Identities of Congruence-Distributive Quasivarieties of Algebras
inferred← citeshttps://doi.org/10.1023/b:allo.0000020850.77379.17openalex-snapshot
Interpretability Types for Regular Varieties of Algebras
inferred← citeshttps://doi.org/10.1090/s0002-9939-07-09337-9openalex-snapshot
Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$
inferred← citeshttps://doi.org/10.1090/s0002-9947-1994-1257643-7openalex-snapshot
Commutator Theory Without Join-Distributivity
inferred← citeshttps://doi.org/10.1090/s0065-9266-2012-00667-8openalex-snapshot
The shape of congruence lattices
inferred← citeshttps://doi.org/10.14232/actasm-018-024-4openalex-snapshot
Quasiorder lattices in congruence modular varieties
inferred← citeshttps://doi.org/10.14232/actasm-018-538-yopenalex-snapshot
On principal congruences and the number of congruences of a lattice with more ideals than filters
inferred← citeshttps://doi.org/10.1556/012.2020.57.3.1471openalex-snapshot
Another characterization of congruence distributive varieties
inferred← citeshttps://doi.org/10.2307/2586531openalex-snapshot
A finite basis theorem for residually finite, congruence meet-semidistributive varieties
inferred← citeshttps://doi.org/10.4153/cmb-1998-044-9openalex-snapshot
A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
inferred← citeshttps://doi.org/10.48550/arxiv.1704.05274openalex-snapshot
Relation identities equivalent to congruence modularity
inferred← citeshttps://doi.org/10.48550/arxiv.1709.06023openalex-snapshot
On the number of terms witnessing congruence modularity
inferred← citeshttps://doi.org/10.48550/arxiv.1902.05995openalex-snapshot
Day's Theorem is sharp for $n$ even
inferred← citeshttps://doi.org/10.48550/arxiv.math/0503103openalex-snapshot
Intersection properties of relations
inferred← citeshttps://doi.org/10.7151/dmgaa.1174openalex-snapshot
On congruence distributivity of ordered algebras with constants
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.