On the public citation graph
n-Permutable varieties satisfy non trivial congruence identities
0 signed · 42 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/bf01190604openalex-snapshot
Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
inferredcites →https://doi.org/10.1007/bf02483903openalex-snapshot
Some applications of the term condition
inferredcites →https://doi.org/10.1090/memo/0286openalex-snapshot
Geometrical methods in congruence modular algebras
inferredcites →https://doi.org/10.1090/s0002-9939-1988-0962797-6openalex-snapshot
𝑀_{𝑛} as a 0,1-sublattice of 𝐶𝑜𝑛𝐴 does not force the term condition
inferredcites →https://doi.org/10.1090/s0002-9947-1994-1257643-7openalex-snapshot
Commutator Theory Without Join-Distributivity
inferredcites →https://doi.org/10.2140/pjm.1973.49.51openalex-snapshot
Congruence lattices of semilattices
inferredcites →https://doi.org/10.2140/pjm.1979.82.59openalex-snapshot
Congruence lattices of algebras of fixed similarity type. I
inferredcites →https://doi.org/10.2140/pjm.1982.103.475openalex-snapshot
Congruence lattices of algebras of fixed similarity type. II
inferredcites →https://doi.org/10.2307/2046978openalex-snapshot
M n as a 0, 1-Sublattice of Con A Does not Force the Term Condition
inferredcites →https://doi.org/10.2307/2274785openalex-snapshot
Ralph Freese and Ralph McKenzie. Commutator theory for congruence modular varieties. London Mathematical Society lecture note series, no. 125. Cambridge University Press, Cambridge etc. 1987, iii + 227 pp.
inferredcites →https://doi.org/10.4153/cjm-1980-087-6openalex-snapshot
A Characterization of Identities Implying Congruence Modularity I
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/978-3-030-76920-8_2openalex-snapshot
Universal Algebraic Methods for Non-classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_7openalex-snapshot
Absorption and directed Jónsson terms
inferred← citeshttps://doi.org/10.1007/978-3-540-85238-4_39openalex-snapshot
From λ-Calculus to Universal Algebra and Back
inferred← citeshttps://doi.org/10.1007/bf01200487openalex-snapshot
Alan Day's early work: congruence identities
inferred← citeshttps://doi.org/10.1007/s00012-008-2068-yopenalex-snapshot
Axiomatizable and nonaxiomatizable congruence prevarieties
inferred← citeshttps://doi.org/10.1007/s00012-011-0137-0openalex-snapshot
Joins and subdirect products of varieties
inferred← citeshttps://doi.org/10.1007/s00012-012-0186-zopenalex-snapshot
An easy test for congruence modularity
inferred← citeshttps://doi.org/10.1007/s00012-019-0624-2openalex-snapshot
Relation identities in 3-distributive varieties
inferred← citeshttps://doi.org/10.1007/s000120050198openalex-snapshot
On congruence modularity in varieties of logic
inferred← citeshttps://doi.org/10.1007/s00233-021-10196-9openalex-snapshot
Two weaker variants of congruence permutability for monoid varieties
inferred← citeshttps://doi.org/10.1007/s00500-007-0185-8openalex-snapshot
On some properties of quasi-MV algebras and $$\sqrt{^{\prime}}$$ quasi-MV algebras. Part II
inferred← citeshttps://doi.org/10.1007/s10440-004-5634-0openalex-snapshot
Semigroup Varieties with 1.5-Permutable Fully Invariant Congruences on their Free Objects
inferred← citeshttps://doi.org/10.1016/j.jpaa.2020.106380openalex-snapshot
Facets of congruence distributivity in Goursat categories
inferred← citeshttps://doi.org/10.1023/b:allo.0000015127.50736.36openalex-snapshot
A Weaker Version of Congruence-Permutability for Semigroup Varieties
inferred← citeshttps://doi.org/10.1023/b:allo.0000048825.91020.76openalex-snapshot
Semigroup Varieties on Whose Free Objects Almost All Fully Invariant Congruences are Weakly Permutable
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.1090/tran/6509openalex-snapshot
A finite basis theorem for difference-term varieties with a finite residual bound
inferred← citeshttps://doi.org/10.1142/s0218196708004627openalex-snapshot
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
inferred← citeshttps://doi.org/10.1142/s0218196798000247openalex-snapshot
The Relationship Between Two Commutators
inferred← citeshttps://doi.org/10.2178/bsl/1146620064openalex-snapshot
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
inferred← citeshttps://doi.org/10.4153/cmb-1998-044-9openalex-snapshot
A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
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.