On the public citation graph
The Birkhoff Theorem for varieties of finite algebras
0 signed · 34 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/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/bf01109881openalex-snapshot
Congruence topologies on universal algebras
inferredcites →https://doi.org/10.1007/bf02483902openalex-snapshot
The Birkhoff theorem for finite algebras
inferredcites →https://doi.org/10.1017/s1446788700018218openalex-snapshot
Varieties of topological algebras
inferredcites →https://doi.org/10.4064/cm-35-1-15-20openalex-snapshot
Varieties and finite closure conditions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/1-4020-3817-8_1openalex-snapshot
Profinite semigroups and applications
inferred← citeshttps://doi.org/10.1007/978-3-030-55215-2_4openalex-snapshot
Free Profinite Monoids, Semigroups and Groups
inferred← citeshttps://doi.org/10.1007/978-3-032-28404-4_3openalex-snapshot
Seventy Years of Algebraic, Logical, and Topological Methods for Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-49630-5_31openalex-snapshot
Profinite Monads, Profinite Equations, and Reiterman’s Theorem
inferred← citeshttps://doi.org/10.1007/bf01189004openalex-snapshot
An algebraic proof that pseudovarieties are defined by pseudoidentities
inferred← citeshttps://doi.org/10.1007/bf01190713openalex-snapshot
On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
inferred← citeshttps://doi.org/10.1007/bf01211835openalex-snapshot
HSP ? SHPS for metabelian groups, and related results
inferred← citeshttps://doi.org/10.1007/bf01225473openalex-snapshot
Nonstandard characterization of pseudovarieties
inferred← citeshttps://doi.org/10.1007/bf01243870openalex-snapshot
The algebra of implicit operations
inferred← citeshttps://doi.org/10.1007/s00012-023-00804-wopenalex-snapshot
What makes a Stone topological algebra Profinite
inferred← citeshttps://doi.org/10.1007/s00233-021-10167-0openalex-snapshot
A topological shuttle between inequalities and pseudoinequalities
inferred← citeshttps://doi.org/10.1007/s00233-026-10663-1openalex-snapshot
Open multiplication in relatively free profinite semigroupoids
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90124-2openalex-snapshot
Semidirect products of pseudovarieties from the universal algebraist's point of view
inferred← citeshttps://doi.org/10.1016/0022-4049(91)90019-xopenalex-snapshot
Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon
inferred← citeshttps://doi.org/10.1016/0022-4049(95)00074-7openalex-snapshot
Profinite categories, implicit operations and pseudovarieties of categories
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00083-7openalex-snapshot
Profinite categories and semidirect products
inferred← citeshttps://doi.org/10.1017/s0013091500007112openalex-snapshot
On finite simple semigroups
inferred← citeshttps://doi.org/10.1017/s1446788700030640openalex-snapshot
Lattices of pseudovarieties
inferred← citeshttps://doi.org/10.1051/ita/1996300504571openalex-snapshot
On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids
inferred← citeshttps://doi.org/10.1142/s0129054112400497openalex-snapshot
EQUATIONAL DESCRIPTIONS OF LANGUAGES
inferred← citeshttps://doi.org/10.1142/s0218196798000119openalex-snapshot
On Pointlike Sets and Joins of Pseudovarieties
inferred← citeshttps://doi.org/10.1145/3303991openalex-snapshot
Going Higher in First-Order Quantifier Alternation Hierarchies on Words
inferred← citeshttps://doi.org/10.13189/ujam.2013.010403openalex-snapshot
The Ranks of the Planarity Varieties of Commutative Semigroups
inferred← citeshttps://doi.org/10.14232/actacyb.23.1.2017.7openalex-snapshot
Commutative Positive Varieties of Languages
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.