On the public citation graph
The fine spectrum of a variety
0 signed · 133 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.1002/malq.19690150701openalex-snapshot
A comment on a paper by evans
inferredcites →https://doi.org/10.1002/mana.19710510108openalex-snapshot
Independence and direct factorization of universal algebras
inferredcites →https://doi.org/10.1007/bf01110387openalex-snapshot
Functionally complete algebras generating distributive and permutable classes
inferredcites →https://doi.org/10.1007/bf01112441openalex-snapshot
Counting finite groups of given order
inferredcites →https://doi.org/10.1007/bf01118975openalex-snapshot
Algebraic and equational semi-maximality; equational spectra. I
inferredcites →https://doi.org/10.1007/bf01215371openalex-snapshot
Nonisomorphic Steiner triple systems
inferredcites →https://doi.org/10.1007/bf01220934openalex-snapshot
Eine Charakterisierung funktional vollst�ndiger Algebren
inferredcites →https://doi.org/10.1007/bf01578706openalex-snapshot
The ternary discriminator function in universal algebra
inferredcites →https://doi.org/10.1007/bf02029172openalex-snapshot
On the cancellation law among finite relational structures
inferredcites →https://doi.org/10.1007/bf02217798openalex-snapshot
Models with countable-categorical universal theories
inferredcites →https://doi.org/10.1007/bf02485234openalex-snapshot
Some cardinal functions on algebras
inferredcites →https://doi.org/10.1007/bf02485269openalex-snapshot
Some cardinal functions on algebras II
inferredcites →https://doi.org/10.1007/bf02485701openalex-snapshot
Relatively free proucts in regular varieties
inferredcites →https://doi.org/10.1007/bf02944958openalex-snapshot
On algebras withn distinct essentiallyn-ary operations
inferredcites →https://doi.org/10.1007/bf02944998openalex-snapshot
Models in equational theories of unary algebras
inferredcites →https://doi.org/10.1007/bf02945027openalex-snapshot
Completeness in arithmetical algebras
inferredcites →https://doi.org/10.1007/bf02945043openalex-snapshot
A method for obtaining refinement theorems, with an application to direct products of semigroups
inferredcites →https://doi.org/10.1007/bf02945108openalex-snapshot
On universal Horn classes categorical in some infinite power
inferredcites →https://doi.org/10.1007/bfb0058787openalex-snapshot
On the classification and evaluation of some partition functions and their tables
inferredcites →https://doi.org/10.1016/0003-4843(71)90015-5openalex-snapshot
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
inferredcites →https://doi.org/10.1016/0012-365x(75)90108-9openalex-snapshot
The number of 9 × 9 latin squares
inferredcites →https://doi.org/10.1016/0021-8693(72)90086-5openalex-snapshot
A single identity for Boolean groups and Boolean rings
inferredcites →https://doi.org/10.1016/0097-3165(74)90047-8openalex-snapshot
On the existence of finite central groupoids of all possible ranks. I
inferredcites →https://doi.org/10.1016/b978-0-08-012975-4.50026-6openalex-snapshot
Construction and analysis of non-equivalent finite semigroups
inferredcites →https://doi.org/10.1016/b978-0-08-012975-4.50027-8openalex-snapshot
Some contributions of computation to semigroups and groupoids††This research was supported by NSF GP-5988 and GP-7608.
inferredcites →https://doi.org/10.1016/s0021-9800(70)80032-1openalex-snapshot
Notes on central groupoids
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.1017/s1446788700005899openalex-snapshot
Representing varieties of algebras by algebras
inferredcites →https://doi.org/10.1080/00029890.1967.11999968openalex-snapshot
Products of Points--Some Simple Algebras and their Identities
inferredcites →https://doi.org/10.1090/s0002-9904-1937-06538-4openalex-snapshot
Postulates for Boolean algebra in terms of Ternary rejection
inferredcites →https://doi.org/10.1090/s0002-9904-1947-08834-0openalex-snapshot
Ternary Boolean algebra
inferredcites →https://doi.org/10.1090/s0002-9939-1955-0069814-7openalex-snapshot
SWAC Computes 126 Distinct Semigroups of Order 4
inferredcites →https://doi.org/10.1090/s0002-9939-1965-0174649-7openalex-snapshot
A Note on Models of Identities
inferredcites →https://doi.org/10.1090/s0002-9939-1967-0222003-3openalex-snapshot
On the spectra of classes of algebras
inferredcites →https://doi.org/10.1090/s0002-9939-1976-0401593-7openalex-snapshot
On a problem of G. Grätzer
inferredcites →https://doi.org/10.1090/s0002-9947-1951-0044470-3openalex-snapshot
Identities in Two-Valued Calculi
inferredcites →https://doi.org/10.1090/s0002-9947-1965-0175782-0openalex-snapshot
Categoricity in power
inferredcites →https://doi.org/10.1090/s0002-9947-1974-0327619-xopenalex-snapshot
Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
inferredcites →https://doi.org/10.1112/jlms/s1-16.4.256openalex-snapshot
A Characterisation of Boolean Lattices and Rings
inferredcites →https://doi.org/10.1112/plms/s1-21.1.147openalex-snapshot
On the Relation between the Logical Theory of Classes and the Geometrical Theory of Points
inferredcites →https://doi.org/10.1112/plms/s3-10.1.24openalex-snapshot
Enumerating p -Groups. I: Inequalities
inferredcites →https://doi.org/10.1142/9789812564894_0028openalex-snapshot
Denumerable models of complete theories
inferredcites →https://doi.org/10.1215/s0012-7094-37-00335-1openalex-snapshot
A representation of generalized Boolean rings
inferredcites →https://doi.org/10.1215/s0012-7094-68-03580-1openalex-snapshot
Operators on algebras of arithmetic functions
inferredcites →https://doi.org/10.1515/9781400882229-003openalex-snapshot
Annals of Mathematics Studies
inferredcites →https://doi.org/10.1515/9781400882366openalex-snapshot
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
inferredcites →https://doi.org/10.2140/pjm.1973.49.59openalex-snapshot
A nonassociative extension of the class of distributive lattices
inferredcites →https://doi.org/10.2140/pjm.1975.58.381openalex-snapshot
The spectrum of an equational class of groupoids
inferredcites →https://doi.org/10.2307/2005152openalex-snapshot
Computational Problems in Abstract Algebra
inferredcites →https://doi.org/10.2307/2035450openalex-snapshot
On the Spectra of Classes of Algebras
inferredcites →https://doi.org/10.2307/2266243openalex-snapshot
Y. Bar-Hillel. Bolzano's definition of analytic propositions. Methodos, Bd. 2 Heft 5 (1950), S. 32–55; zugleich Theoria, Bd. 16 (1950), S. 91–117.
inferredcites →https://doi.org/10.2307/2271899openalex-snapshot
On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
inferredcites →https://doi.org/10.2307/2371676openalex-snapshot
Post Algebras. I. Postulates and General Theory
inferredcites →https://doi.org/10.4064/cm-14-1-1-32openalex-snapshot
The unique factorization problem for finite relational structures
inferredcites →https://doi.org/10.4064/cm-14-1-169-188openalex-snapshot
Independence in abstract algebras results and problems
inferredcites →https://doi.org/10.4064/cm-22-2-167-176openalex-snapshot
A generalization of the direct product of universal algebras
inferredcites →https://doi.org/10.4064/cm-27-1-149-160openalex-snapshot
On the number of non-isomorphic Steiner triples
inferredcites →https://doi.org/10.4064/cm-29-2-303-306openalex-snapshot
On the construction of non-isomorphic Steiner quadruple systems
inferredcites →https://doi.org/10.4064/cm-30-1-15-25openalex-snapshot
The join of equational theories
inferredcites →https://doi.org/10.4064/fm-55-3-249-281openalex-snapshot
Refinement properties for relational structures
inferredcites →https://doi.org/10.4064/fm-72-3-233-244openalex-snapshot
On the general theory of m-groups
inferredcites →https://doi.org/10.4153/cjm-1975-004-2openalex-snapshot
The Ascending and Descending Varietal Chains of a Variety
inferredcites →https://doi.org/10.4153/cmb-1969-095-xopenalex-snapshot
Joins and Direct Products of Equational Classes
inferredcites →https://doi.org/10.4153/cmb-1974-003-2openalex-snapshot
Equational Compactness of G-Sets
inferredcites →https://doi.org/10.5486/pmd.1967.14.1-4.35openalex-snapshot
On a problem of G. Grätzer
inferredcites →https://doi.org/10.7146/math.scand.a-10850openalex-snapshot
Algebras Whose Congruence Lattices are Distributive.
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_5openalex-snapshot
Classification in finite model theory: counting finite algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-02149-8_11openalex-snapshot
Counting Finite Linearly Ordered Involutive Bisemilattices
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_14openalex-snapshot
Possible classification of finite-dimensional compact Hausdorff topological algebras
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/978-3-662-59565-7_15openalex-snapshot
Spectra of Gödel Algebras
inferred← citeshttps://doi.org/10.1007/978-94-017-0938-5_2openalex-snapshot
Boolean Constructions in Universal Algebras
inferred← citeshttps://doi.org/10.1007/bf01182098openalex-snapshot
The isomorphism problem for varieties generated by a two-element algebra
inferred← citeshttps://doi.org/10.1007/bf01182247openalex-snapshot
A new product of algebras and a type reduction theorem
inferred← citeshttps://doi.org/10.1007/bf01190755openalex-snapshot
The primal algebra characterization theorem revisited
inferred← citeshttps://doi.org/10.1007/bf01191540openalex-snapshot
Congruence semimodular varieties I: Locally finite varieties
inferred← citeshttps://doi.org/10.1007/bf01201096openalex-snapshot
Categorical quasivarieties revisited
inferred← citeshttps://doi.org/10.1007/bf01221790openalex-snapshot
Bjarni J�nsson's contributions in algebra
inferred← citeshttps://doi.org/10.1007/bf01229981openalex-snapshot
Finite algebras with Abelian properties
inferred← citeshttps://doi.org/10.1007/bf01233916openalex-snapshot
Category equivalence preserves unification type
inferred← citeshttps://doi.org/10.1007/bf02133176openalex-snapshot
Congruence-distributive varieties of algebras
inferred← citeshttps://doi.org/10.1007/bf02188010openalex-snapshot
Hyperidentities and hypervarieties
inferred← citeshttps://doi.org/10.1007/bf02483081openalex-snapshot
Equationally complete (m, n) rings
inferred← citeshttps://doi.org/10.1007/bf02485829openalex-snapshot
Base-undecibable properties of universal varieties
inferred← citeshttps://doi.org/10.1007/bf02674605openalex-snapshot
Invariants of rational equivalence
inferred← citeshttps://doi.org/10.1007/s00012-006-2003-zopenalex-snapshot
Equations on real intervals
inferred← citeshttps://doi.org/10.1007/s00012-012-0213-0openalex-snapshot
Independent joins of tolerance factorable varieties
inferred← citeshttps://doi.org/10.1007/s00012-013-0243-2openalex-snapshot
On independent varieties and some related notions
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.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(81)90105-5openalex-snapshot
Concrete categories and infinitary languages
inferred← citeshttps://doi.org/10.1016/s0022-4049(00)00189-4openalex-snapshot
Generative complexity in semigroup varieties
inferred← citeshttps://doi.org/10.1016/s0167-5060(08)70168-7openalex-snapshot
Algebraic Speculations About Steiner Systems
inferred← citeshttps://doi.org/10.1017/jsl.2021.48openalex-snapshot
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
inferred← citeshttps://doi.org/10.1017/s1446788700021157openalex-snapshot
Mal'tsev conditions and spectra
inferred← citeshttps://doi.org/10.1017/s1446788700029979openalex-snapshot
Simple surjective algebras having no proper subalgebras
inferred← citeshttps://doi.org/10.1017/s1446788700038970openalex-snapshot
Mal'cev conditions, spectra and kronecker product
inferred← citeshttps://doi.org/10.1023/b:stud.0000037130.29400.97openalex-snapshot
Products of Classes of Residuated Structures
inferred← citeshttps://doi.org/10.1090/s0002-9947-1987-0891629-3openalex-snapshot
The Fraser-Horn and Apple Properties
inferred← citeshttps://doi.org/10.1090/s0002-9947-97-01883-7openalex-snapshot
A Characterization of Minimal Locally Finite Varieties
inferred← citeshttps://doi.org/10.1090/s0002-9947-98-01594-3openalex-snapshot
Minimal sets and varieties
inferred← citeshttps://doi.org/10.1142/s0218196700000121openalex-snapshot
COUNTING FINITE ALGEBRAS IN THE POST VARIETIES
inferred← citeshttps://doi.org/10.1145/3373718.3394785openalex-snapshot
First-order tree-to-tree functions
inferred← citeshttps://doi.org/10.15439/2020f169openalex-snapshot
Computing Duals of Finite Gödel Algebras
inferred← citeshttps://doi.org/10.18642/jantaa_7100122076openalex-snapshot
SPECIAL HAGEMANN RELATIONS AND CONGRUENCE n-PERMUTABLE VARIETIES
inferred← citeshttps://doi.org/10.4467/20842589rm.11.001.0279openalex-snapshot
SOME RESULTS ON DIAGONAL-FREE TWO-DIMENSIONAL CYLINDRIC ALGEBRAS
inferred← citeshttps://doi.org/10.48550/arxiv.2107.10540openalex-snapshot
Counting finite linearly ordered involutive bisemilattices
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.