On the public citation graph
Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
0 signed · 80 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/bf02485419openalex-snapshot
Varieties generated by para primal algebras
inferredcites →https://doi.org/10.1007/bf02944989openalex-snapshot
Equational classes generated by finite algebras
inferredcites →https://doi.org/10.1007/bf02945027openalex-snapshot
Completeness in arithmetical algebras
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/0021-8693(69)90058-1openalex-snapshot
Bases for equational theories of semigroups
inferredcites →https://doi.org/10.1016/0021-8693(73)90025-2openalex-snapshot
Identities satisfied by a finite ring
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.2001.8947openalex-snapshot
Finite Bases for Flat Graph Algebras
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-031-44490-6_6openalex-snapshot
Czelakowski’s Work on Quasivarieties
inferred← citeshttps://doi.org/10.1007/978-3-0348-9096-0_2openalex-snapshot
A survey of minimal clones
inferred← citeshttps://doi.org/10.1007/bf01188057openalex-snapshot
Definable principal congruences in congruence distributive varieties
inferred← citeshttps://doi.org/10.1007/bf01191487openalex-snapshot
Basic questions for general algebras
inferred← citeshttps://doi.org/10.1007/bf01194536openalex-snapshot
Nondefinability of projectivity in lattice varieties
inferred← citeshttps://doi.org/10.1007/bf01197181openalex-snapshot
The parameterized local deduction theorem for quasivarieties of algebras and its application
inferred← citeshttps://doi.org/10.1007/bf01221790openalex-snapshot
Bjarni J�nsson's contributions in algebra
inferred← citeshttps://doi.org/10.1007/bf01238496openalex-snapshot
A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
inferred← citeshttps://doi.org/10.1007/bf01874707openalex-snapshot
The lattice of strengthenings of a strongly finite consequence operation
inferred← citeshttps://doi.org/10.1007/bf01978557openalex-snapshot
Characterization of relatively distributed quasivarieties of algebras
inferred← citeshttps://doi.org/10.1007/bf01978661openalex-snapshot
Quasiidentities of two-element algebras
inferred← citeshttps://doi.org/10.1007/bf01978724openalex-snapshot
On the number of discriminator varieties incomparable in countable epimorphism skeletons
inferred← citeshttps://doi.org/10.1007/bf01979200openalex-snapshot
Countable embeddability skeletons of discriminator varieties
inferred← citeshttps://doi.org/10.1007/bf01980218openalex-snapshot
Quasivarieties of algebras with definable principle congruences
inferred← citeshttps://doi.org/10.1007/bf02133176openalex-snapshot
Congruence-distributive varieties of algebras
inferred← citeshttps://doi.org/10.1007/bf02483100openalex-snapshot
Varieties with equationally definable principal congruences
inferred← citeshttps://doi.org/10.1007/bf02483103openalex-snapshot
A four-element algebra whose identities are not finitely based
inferred← citeshttps://doi.org/10.1007/bf02483827openalex-snapshot
A new proof of the McKenzie-Gumm Theorem
inferred← citeshttps://doi.org/10.1007/bf02483845openalex-snapshot
Finite groupoids without finite bases for their identities
inferred← citeshttps://doi.org/10.1007/bf02483874openalex-snapshot
Two examples concerning the definability of the disjointness property of principal congruences
inferred← citeshttps://doi.org/10.1007/bf02483915openalex-snapshot
A note on directly indecomposable algebras
inferred← citeshttps://doi.org/10.1007/bf02483930openalex-snapshot
On classes of algebras with the definability of congruences
inferred← citeshttps://doi.org/10.1007/bf02485448openalex-snapshot
An example concerning definable principal congruences
inferred← citeshttps://doi.org/10.1007/bf02488013openalex-snapshot
Algebras in permutable varieties: Geometrical properties of affine algebras
inferred← citeshttps://doi.org/10.1007/bf02488027openalex-snapshot
Definable principal congruences in varieties of groups and rings
inferred← citeshttps://doi.org/10.1007/bfb0063439openalex-snapshot
Inherently nonfinitely based finite algebras
inferred← citeshttps://doi.org/10.1007/bfb0098468openalex-snapshot
Principal congruence formulas in arithmetical varieties
inferred← citeshttps://doi.org/10.1007/pl00000342openalex-snapshot
Discriminator or dual discriminator?
inferred← citeshttps://doi.org/10.1007/s00012-002-8180-5openalex-snapshot
Definable principal subcongruences
inferred← citeshttps://doi.org/10.1007/s00012-004-1917-6openalex-snapshot
Standard topological algebras: syntactic and principal congruences and profiniteness
inferred← citeshttps://doi.org/10.1007/s00012-006-1948-2openalex-snapshot
Weakly diagonal algebras and definable principal congruences
inferred← citeshttps://doi.org/10.1007/s00012-011-0155-yopenalex-snapshot
Natural extensions and profinite completions of algebras
inferred← citeshttps://doi.org/10.1007/s00012-015-0333-4openalex-snapshot
A juggler’s dozen of easy† problems
inferred← citeshttps://doi.org/10.1007/s00012-017-0455-yopenalex-snapshot
Relative congruence formulas and decompositions in quasivarieties
inferred← citeshttps://doi.org/10.1007/s000120050069openalex-snapshot
Relative principal congruences in congruence-modular quasivarieties
inferred← citeshttps://doi.org/10.1007/s11225-009-9188-zopenalex-snapshot
Quasivarieties with Definable Relative Principal Subcongruences
inferred← citeshttps://doi.org/10.1016/0012-365x(80)90150-8openalex-snapshot
A proof of Lyndon's finite basis theorem
inferred← citeshttps://doi.org/10.1016/b978-0-444-87759-8.50034-1openalex-snapshot
DEMI-PRIMAL ALGEBRAS WITH A SINGLE OPERATION
inferred← citeshttps://doi.org/10.1016/j.apal.2008.09.019openalex-snapshot
Definable principal congruences and solvability
inferred← citeshttps://doi.org/10.1016/j.apal.2017.05.001openalex-snapshot
Uniform interpolation and compact congruences
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70493-8openalex-snapshot
A Characterization of Principal Congruences of De Morgan Algebras and its Applications
inferred← citeshttps://doi.org/10.1017/jsl.2014.51openalex-snapshot
THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES
inferred← citeshttps://doi.org/10.1017/jsl.2017.89openalex-snapshot
PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
inferred← citeshttps://doi.org/10.1017/s144678870800061xopenalex-snapshot
PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
inferred← citeshttps://doi.org/10.1017/s1446788709000317openalex-snapshot
EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER
inferred← citeshttps://doi.org/10.1090/s0002-9939-1979-0516452-1openalex-snapshot
On Baker's Finite Basis Theorem for Congruence Distributive Varieties
inferred← citeshttps://doi.org/10.1090/s0002-9939-1981-0614869-7openalex-snapshot
Boolean Powers of Groups
inferred← citeshttps://doi.org/10.1090/s0002-9939-1983-0684626-6openalex-snapshot
Varieties of Rings with Definable Principal Congruences
inferred← citeshttps://doi.org/10.1090/s0002-9939-1986-0831376-1openalex-snapshot
Definable principal congruences and 𝑅-stable identities
inferred← citeshttps://doi.org/10.1090/s0002-9939-1994-1207541-5openalex-snapshot
Finite Rings in Varieties with Definable Principal Congruences
inferred← citeshttps://doi.org/10.1090/s0002-9947-1992-1053116-3openalex-snapshot
The Structure of Rings in Some Varieties with Definable Principal Congruences
inferred← citeshttps://doi.org/10.1090/s0002-9947-97-01807-2openalex-snapshot
Tarski’s finite basis problem via 𝐀(𝒯)
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.1134/s003744662202001xopenalex-snapshot
Identities and Quasi-Identities of Pointed Algebras
inferred← citeshttps://doi.org/10.1142/s021819679700023xopenalex-snapshot
Self-Rectangulating Varieties of Type 5
inferred← citeshttps://doi.org/10.2140/pjm.1982.103.475openalex-snapshot
Congruence lattices of algebras of fixed similarity type. II
inferred← citeshttps://doi.org/10.2307/2586531openalex-snapshot
A finite basis theorem for residually finite, congruence meet-semidistributive varieties
inferred← citeshttps://doi.org/10.3103/s0027132209050052openalex-snapshot
Equivalent transformations of formulas in P 2
inferred← citeshttps://doi.org/10.4064/cm-74-2-225-238openalex-snapshot
Definability of principal congruences in equivalential algebras
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.