On the public citation graph
Onn-permutable congruences
0 signed · 108 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/bf02944976openalex-snapshot
Implication algebras are 3-permutable and 3-distributive
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.4064/fm-64-3-257-287openalex-snapshot
Komplementäre Halbgruppen. Axiomatik und Arithmetik
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19890350403openalex-snapshot
Hyperidentities of Dyadic Algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-57201-3_4openalex-snapshot
Free-Algebra Functors from a Coalgebraic Perspective
inferred← citeshttps://doi.org/10.1007/978-3-030-66545-6_3openalex-snapshot
On the Naturalness of Mal’tsev Categories
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-030-84319-9_4openalex-snapshot
An Introduction to Regular Categories
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/bf00346133openalex-snapshot
Monotone clones and congruence modularity
inferred← citeshttps://doi.org/10.1007/bf00872942openalex-snapshot
Some remarks on Maltsev and Goursat categories
inferred← citeshttps://doi.org/10.1007/bf01190970openalex-snapshot
Separation in topological algebras
inferred← citeshttps://doi.org/10.1007/bf01191780openalex-snapshot
A Mal'cev characterization of n-permutable varieties with directly decomposable congruences
inferred← citeshttps://doi.org/10.1007/bf01201098openalex-snapshot
Topological implications inn-permutable varieties
inferred← citeshttps://doi.org/10.1007/bf01236524openalex-snapshot
Ideal determined varieties need not be congruence 3-permutable
inferred← citeshttps://doi.org/10.1007/bf01902330openalex-snapshot
Varieties of modules and affine modules
inferred← citeshttps://doi.org/10.1007/bf01974108openalex-snapshot
Mal'cev conditions for Horn sentences with congruence permutability
inferred← citeshttps://doi.org/10.1007/bf02483903openalex-snapshot
Some applications of the term condition
inferred← citeshttps://doi.org/10.1007/bf02483908openalex-snapshot
Principal congruences inN-permutable varieties
inferred← citeshttps://doi.org/10.1007/bf03651394openalex-snapshot
Representable tolerances in varieties
inferred← citeshttps://doi.org/10.1007/s00012-002-8194-zopenalex-snapshot
Hausdorff properties of topological algebras
inferred← citeshttps://doi.org/10.1007/s00012-005-1911-7openalex-snapshot
Congruence properties in congruence permutable and in ideal determined varieties, with applications.
inferred← citeshttps://doi.org/10.1007/s00012-006-2013-xopenalex-snapshot
On the congruence modularity conjecture
inferred← citeshttps://doi.org/10.1007/s00012-008-2044-6openalex-snapshot
Closedness properties of internal relations V: Linear Mal’tsev conditions
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-011-0156-xopenalex-snapshot
Categorical (binary) difference terms and protomodularity
inferred← citeshttps://doi.org/10.1007/s00012-012-0186-zopenalex-snapshot
An easy test for congruence modularity
inferred← citeshttps://doi.org/10.1007/s00012-013-0256-xopenalex-snapshot
Equations implying congruence n-permutability and semidistributivity
inferred← citeshttps://doi.org/10.1007/s00012-015-0327-2openalex-snapshot
Characterizations of several Maltsev conditions
inferred← citeshttps://doi.org/10.1007/s00012-016-0420-1openalex-snapshot
Maltsev families of varieties closed under join or Maltsev product
inferred← citeshttps://doi.org/10.1007/s00012-018-0491-2openalex-snapshot
The Jónsson distributivity spectrum
inferred← citeshttps://doi.org/10.1007/s00012-018-0575-zopenalex-snapshot
Variations of the Shifting Lemma and Goursat categories
inferred← citeshttps://doi.org/10.1007/s00012-019-0594-4openalex-snapshot
On the primeness of locally finite idempotent 3-permutability
inferred← citeshttps://doi.org/10.1007/s00012-019-0624-2openalex-snapshot
Relation identities in 3-distributive varieties
inferred← citeshttps://doi.org/10.1007/s00012-019-0636-yopenalex-snapshot
Random models of idempotent linear Maltsev conditions. I. Idemprimality
inferred← citeshttps://doi.org/10.1007/s00012-020-0647-8openalex-snapshot
Two-element structures modulo primitive positive constructability
inferred← citeshttps://doi.org/10.1007/s00012-022-00774-5openalex-snapshot
Free-lattice functors weakly preserve epi-pullbacks
inferred← citeshttps://doi.org/10.1007/s00012-026-00936-9openalex-snapshot
Reflexive digraphs in Taylor varieties
inferred← citeshttps://doi.org/10.1007/s000120050016openalex-snapshot
Finite basis of ideal terms in ideal determined varieties
inferred← citeshttps://doi.org/10.1007/s000120050048openalex-snapshot
Topological equivalents to n-permutability
inferred← citeshttps://doi.org/10.1007/s000120050120openalex-snapshot
Topological implications in varieties
inferred← citeshttps://doi.org/10.1007/s10485-006-9026-7openalex-snapshot
Admissible Galois Structures and Coverings in Regular Mal’cev Categories
inferred← citeshttps://doi.org/10.1007/s10485-010-9236-xopenalex-snapshot
A New Characterisation of Goursat Categories
inferred← citeshttps://doi.org/10.1007/s10485-013-9359-yopenalex-snapshot
Approximate Hagemann–Mitschke Co-operations
inferred← citeshttps://doi.org/10.1007/s10485-022-09686-wopenalex-snapshot
On the Cocartesian Image of Preorders and Equivalence Relations in Regular Categories
inferred← citeshttps://doi.org/10.1007/s11083-017-9441-4openalex-snapshot
Taylor’s Modularity Conjecture and Related Problems for Idempotent Varieties
inferred← citeshttps://doi.org/10.1007/s11225-023-10070-5openalex-snapshot
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences
inferred← citeshttps://doi.org/10.1007/s11856-017-1621-9openalex-snapshot
The wonderland of reflections
inferred← citeshttps://doi.org/10.1007/s40062-013-0044-5openalex-snapshot
Hagemann’s theorem for regular categories
inferred← citeshttps://doi.org/10.1016/0021-8693(91)90163-3openalex-snapshot
A characterization of congruence permutable locally finite varieties
inferred← citeshttps://doi.org/10.1016/0022-4049(81)90076-1openalex-snapshot
Laws obeyed by topological algebras— extending results of Hopf and Adams
inferred← citeshttps://doi.org/10.1016/0022-4049(91)90022-topenalex-snapshot
Diagram chasing in Mal'cev categories
inferred← citeshttps://doi.org/10.1016/j.ic.2006.09.005openalex-snapshot
Towards a dichotomy theorem for the counting constraint satisfaction problem
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2021.04.031openalex-snapshot
On linear exactness properties
inferred← citeshttps://doi.org/10.1016/j.jpaa.2012.02.025openalex-snapshot
Internal structures in n -permutable varieties
inferred← citeshttps://doi.org/10.1016/j.jpaa.2016.12.031openalex-snapshot
Beck–Chevalley condition and Goursat categories
inferred← citeshttps://doi.org/10.1016/j.jpaa.2020.106380openalex-snapshot
Facets of congruence distributivity in Goursat categories
inferred← citeshttps://doi.org/10.1016/j.jpaa.2021.106784openalex-snapshot
A class of exactness properties characterized via left Kan extensions
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00038-5openalex-snapshot
Order-incompleteness and finite lambda reduction models
inferred← citeshttps://doi.org/10.1017/jsl.2019.73openalex-snapshot
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
inferred← citeshttps://doi.org/10.1017/s0004972700006730openalex-snapshot
Varieties generated by finite BCK-algebras
inferred← citeshttps://doi.org/10.1017/s0004972712000603openalex-snapshot
VARIETIES WHOSE TOLERANCES ARE HOMOMORPHIC IMAGES OF THEIR CONGRUENCES
inferred← citeshttps://doi.org/10.1023/a:1005931730835openalex-snapshot
Congruence Identities and their Local Versions
inferred← citeshttps://doi.org/10.1023/a:1022873713616openalex-snapshot
On the degrees of permutability of subregular varieties
inferred← citeshttps://doi.org/10.1080/00927872.2024.2358417openalex-snapshot
Varieties defined by basic equations have the amalgamation property
inferred← citeshttps://doi.org/10.1080/16073606.1997.9632225openalex-snapshot
IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
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-1984-0719672-2openalex-snapshot
Extensions of Algebraic Systems
inferred← citeshttps://doi.org/10.1090/s0065-9266-2012-00667-8openalex-snapshot
The shape of congruence lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzu006openalex-snapshot
Quasi-subtractive varieties: Open filters, congruences and the commutator
inferred← citeshttps://doi.org/10.1109/lics.1996.561459openalex-snapshot
Order-incompleteness and finite lambda models
inferred← citeshttps://doi.org/10.1112/blms/bdu044openalex-snapshot
Idempotent n -permutable varieties
inferred← citeshttps://doi.org/10.1142/s0218196708004627openalex-snapshot
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
inferred← citeshttps://doi.org/10.1142/s0218196709004956openalex-snapshot
ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
inferred← citeshttps://doi.org/10.1142/s0218196713500343openalex-snapshot
COMPUTATIONAL COMPLEXITY OF VARIOUS MAL'CEV CONDITIONS
inferred← citeshttps://doi.org/10.1142/s0218196716500429openalex-snapshot
On algebras with many symmetric operations
inferred← citeshttps://doi.org/10.1142/s0218196718500339openalex-snapshot
Hardness results for the subpower membership problem
inferred← citeshttps://doi.org/10.1142/s0218196720500605openalex-snapshot
n-Permutability is not join-prime for n ≥ 5
inferred← citeshttps://doi.org/10.1142/s0218196723500042openalex-snapshot
On the use of majority for investigating primeness of 3-permutability
inferred← citeshttps://doi.org/10.1142/s0218216514500606openalex-snapshot
On factorization systems for surjective quandle homomorphisms
inferred← citeshttps://doi.org/10.18642/jantaa_7100122076openalex-snapshot
SPECIAL HAGEMANN RELATIONS AND CONGRUENCE n-PERMUTABLE VARIETIES
inferred← citeshttps://doi.org/10.21136/mb.2011.141445openalex-snapshot
Properties of relatively pseudocomplemented directoids
inferred← citeshttps://doi.org/10.2168/lmcs-9(4:21)2013openalex-snapshot
Ordered Models of the Lambda Calculus
inferred← citeshttps://doi.org/10.23638/lmcs-13(3:14)2017openalex-snapshot
Some remarks on connectors and groupoids in Goursat categories
inferred← citeshttps://doi.org/10.23638/lmcs-14(2:3)2018openalex-snapshot
$n$-permutability and linear Datalog implies symmetric Datalog
inferred← citeshttps://doi.org/10.26552/tac.c.2020.2.1openalex-snapshot
State of Urban Transport in a Nigerian Traditional City
inferred← citeshttps://doi.org/10.34198/ejms.6121.105116openalex-snapshot
Triangular Scheme Revisited in the Light of n-permutable Categories
inferred← citeshttps://doi.org/10.34198/ejms.6121.175186openalex-snapshot
Anticommutativity and n-schemes
inferred← citeshttps://doi.org/10.34198/ejms.6221.397426openalex-snapshot
Geometrical Methods in Goursat Categories
inferred← citeshttps://doi.org/10.4153/cjm-1980-087-6openalex-snapshot
A Characterization of Identities Implying Congruence Modularity I
inferred← citeshttps://doi.org/10.4230/lipics.csl.2016.2openalex-snapshot
Infinite Domain Constraint Satisfaction Problem (Invited Talk)
inferred← citeshttps://doi.org/10.48550/arxiv.1306.6523openalex-snapshot
An observation on n-permutability
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/0508548openalex-snapshot
A congruence identity satisfied by m-permutable varieties
inferred← citeshttps://doi.org/10.70930/tac/5ubutiwwopenalex-snapshot
Stability properties characterising -permutable categories
inferred← citeshttps://doi.org/10.70930/tac/c2dbub9xopenalex-snapshot
Symmetry of regular diamonds, the Goursat property, and subtractivity
inferred← citeshttps://doi.org/10.70930/tac/n2e6w4cyopenalex-snapshot
n-permutable locally finitely presentable categories
inferred← citeshttps://doi.org/10.7151/dmgaa.1035openalex-snapshot
Some modifications of congruence permutability and dually congruence regular varieties
inferred← citeshttps://doi.org/10.7151/dmgaa.1070openalex-snapshot
On the characterisation of Mal'tsev and Jónsson-Tarski algebras
inferred← citeshttps://doi.org/10.7151/dmgaa.1136openalex-snapshot
Commutative directoids with sectionally antitone bijections
inferred← citeshttps://doi.org/10.71548/23965openalex-snapshot
Results on the Computational Complexity of Linear Idempotent Mal'cev Conditions
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.