Finite equational bases for finite algebras in a congruence-distributive equational class
From MaRDI portal
(Redirected from Publication:1237798)
Cites work
- scientific article; zbMATH DE number 3117624 (Why is no real title available?)
- scientific article; zbMATH DE number 3970748 (Why is no real title available?)
- scientific article; zbMATH DE number 3181231 (Why is no real title available?)
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 3515511 (Why is no real title available?)
- scientific article; zbMATH DE number 3204689 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3230245 (Why is no real title available?)
- scientific article; zbMATH DE number 3245444 (Why is no real title available?)
- scientific article; zbMATH DE number 3248007 (Why is no real title available?)
- scientific article; zbMATH DE number 3271476 (Why is no real title available?)
- scientific article; zbMATH DE number 3273141 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- scientific article; zbMATH DE number 3311772 (Why is no real title available?)
- scientific article; zbMATH DE number 3332449 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- scientific article; zbMATH DE number 3366941 (Why is no real title available?)
- scientific article; zbMATH DE number 3196257 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- scientific article; zbMATH DE number 3019695 (Why is no real title available?)
- A Characterization of Modularity for Congruence Lattices of Algebras*
- A nonassociative extension of the class of distributive lattices
- A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
- Algebraic and equational semi-maximality; equational spectra. II
- Algebras Whose Congruence Lattices are Distributive.
- Bases for equational theories of semi-groups
- Boolean Algebras with Operators
- Characterization of the bounded Brouwerian lattices
- Charakterisierungen der primitiven Klassen arithmetischer Ringe
- Completeness in arithmetical algebras
- Covering relations among lattice varieties
- Cross varieties of groups
- Die Kennzeichnung der distributiven pseudokomplementären Halbverbände.
- Die primitiven Klassen arithmetischer Ringe
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
- Equational Bases and Nonmodular Lattice Varieties
- Equational Bases for Lattice Theories.
- Equational Classes of Distributive Pseudo-Complemented Lattices
- Equational Theories of Algebras with Distributive Congruences
- Equational axioms for classes of Heyting algebras
- Equational axioms for classes of lattices
- Equational classes generated by finite algebras
- Identical relations in finite groups
- Identical relations in loops, I
- Identities and relations in commutative Moufang loops
- Identities in Finite Algebras
- Identities in Two-Valued Calculi
- Identities satisfied by a finite ring
- Implication algebras are 3-permutable and 3-distributive
- Introduction to model theory and to the metamathematics of algebra
- Kongruenzklassengeometrien
- Laws in finite strictly simple loops
- Notes on ordered rings
- On Equational Classes of Algebraic Versions of Logic I.
- On the general theory of algebraic systems
- Primitive Klassen von modularen S-Algebren.
- Primitive Länge und primitive Weite bei modularen Verbänden
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
- Primitive subsets of lattices
- Principal Congruences of Pseudocomplemented Distributive Lattices
- Residually small varieties
- Some finitely based varieties of rings
- Splitting algebras and a weak notion of projectivity
- Stone Lattices. I: Construction Theorems
- Stone Lattices. II. Structure Theorems
- Stone lattices
- Subdirect unions in universal algebra
- Subdirectly irreducible modular p-algebras
- The Lattice Theory of Post Algebras
- The decision problem for equational bases of algebras
- Topics in universal algebra
- Translations and congruences in lattices
- Varieties of Orthomodular Lattices
- Varieties of Orthomodular Lattices. II
- Variety Invariants for Modular Lattices
- Various varieties
- Weak (projective) radius and finite equational bases for classes of lattices
- Über eine Konstruktion der distributiven pseudokomplementären Verbände
Cited in
(74)- SOLUTION TO A PROBLEM OF KUBLANOVSKY AND SAPIR
- The undecidability of the definability of principal subcongruences
- Finite bases for finitely generated, relatively congruence distributive quasivarities
- Every shift automorphism variety has an infinite subdirectly irreducible member
- Every idempotent plain algebra generates a minimal variety
- Profiniteness in finitely generated varieties is undecidable
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- On finitely related semigroups.
- Identities and quasi-identities of pointed algebras
- Equational axioms for classes of Heyting algebras
- Equational Theories with a Minority Polynomial
- Quasiidentities of two-element algebras
- Relatively congruence modular quasivarieties of modules
- Nilpotent and solvable radicals in locally finite congruence modular varieties
- Protoalgebraic logics
- A proof of Lyndon's finite basis theorem
- Lyndon's groupoid is not inherently nonfinitely based
- An approach to lattice varieties of finite height
- A field guide to equational logic
- A finite basis theorem for difference-term varieties with a finite residual bound
- Layers over minimal logic
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
- On Jónsson's theorem
- Jónsson's contributions to lattice theory
- Finite axiomatizability of congruence rich varieties
- Two examples concerning the definability of the disjointness property of principal congruences
- A four-element algebra whose identities are not finitely based
- Inherently nonfinitely based lattices
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- The determination of subvarieties of certain congruence-distributive varieties
- On pretabular logics in NExtK4. I
- scientific article; zbMATH DE number 1154180 (Why is no real title available?)
- A finite base for \(M^ n\) and maximal projective distance in \(M^ n\).
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- An equational logic sampler
- On the structure of varieties with equationally definable principal congruences. I
- Congruence varieties
- Minimal Axiomatization in Modal Logic
- A finite algebra A with SP(A) not elementary
- Universal algebras
- Bjarni Jónsson's contributions in algebra
- Non-finite-axiomatizability results in algebraic logic
- Bounded and well-placed theories in the lattice of equational theories
- scientific article; zbMATH DE number 4108844 (Why is no real title available?)
- Equivalent transformations of formulas in \(P_2\).
- Tarski’s finite basis problem via 𝐀(𝒯)
- Bases of quasiidentities of finite modal algebras
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
- The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples
- \(n\)-permutability is not join-prime for \(n\geq 5\)
- On the join of Cross varieties of algebras
- Finite basis problems and results for quasivarieties
- Laws in finite loops
- Nondefinability of projectivity in lattice varieties
- Basic questions for general algebras
- On subdirectly irreducible lattice-ordered semigroups
- Key notions of Tarski's methodology of deductive systems
- Products of finitely based varieties of Brouwerian semilattices
- The logic of algebraic rules as a generalization of equational logic
- A quasi-Mal'cev condition with unexpected application.
- Finite equational bases for congruence modular varieties
- Minimal, locally-finite varieties that are not finitely axiomatizable
- A finite basis theorem for quasivarieties
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Finite groupoids without finite bases for their identities
- Baker's finite basis theorem
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- Universal algebraic methods for non-classical logics
- Quasivarieties with definable relative principal subcongruences
- Congruence-distributive varieties of algebras
- On algebraic specifications of computable algebras with the discriminator technique
This page was built for publication: Finite equational bases for finite algebras in a congruence-distributive equational class
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1237798)
