Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
From MaRDI portal
Publication:1248637
Cites work
- A finite algebra A with SP(A) not elementary
- Algebras Whose Congruence Lattices are Distributive.
- Bases for equational theories of semi-groups
- Completeness in arithmetical algebras
- Equational Bases for Lattice Theories.
- Equational classes generated by finite algebras
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Identical relations in finite groups
- Identities satisfied by a finite ring
- The number of subdirectly irreducible algebras in a variety
- Varieties generated by para primal algebras
Cited in
(55)- Definable principal congruences and solvability
- Quasivarieties with definable relative principal subcongruences
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- Uniform congruence schemes
- Varieties with equationally definable principal congruences
- A proof of Lyndon's finite basis theorem
- A four-element algebra whose identities are not finitely based
- Plain para primal algebras
- Two examples concerning the definability of the disjointness property of principal congruences
- Finite groupoids without finite bases for their identities
- A new proof of the McKenzie-Gumm theorem
- The lattice of strengthenings of a strongly finite consequence operation
- A note on directly indecomposable algebras
- On classes of algebras with the definability of congruences
- Universal algebras
- Characterization of relatively distributed quasivarieties of algebras
- An example concerning definable principal congruences
- Definable principal congruences in varieties of groups and rings
- Bjarni Jónsson's contributions in algebra
- Relative congruence formulas and decompositions in quasivarieties
- Narrowness implies uniformity
- A survey of minimal clones
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Identities and quasi-identities of pointed algebras
- Quasivarieties of algebras with definable principal congruences
- Uniform interpolation and compact congruences
- Equivalent transformations of formulas in \(P_2\).
- A finite basis theorem for difference-term varieties with a finite residual bound
- PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
- Every shift automorphism variety has an infinite subdirectly irreducible member
- Boolean Powers of Groups
- The Structure of Rings in Some Varieties with Definable Principal Congruences
- Finite Rings in Varieties with Definable Principal Congruences
- Tarski’s finite basis problem via 𝐀(𝒯)
- scientific article; zbMATH DE number 1154180 (Why is no real title available?)
- Profiniteness in finitely generated varieties is undecidable
- Varieties of Rings with Definable Principal Congruences
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- The undecidability of the definability of principal subcongruences
- Finite bases for flat graph algebras
- Universal algebraic methods for non-classical logics
- Natural extensions and profinite completions of algebras
- Ivo G. Rosenberg's work on maximal clones and minimal clones
- Czelakowski's work on quasivarieties
- Definable principal congruences in congruence distributive varieties
- Nondefinability of projectivity in lattice varieties
- Direct factor varieties
- Quasiidentities of two-element algebras
- Demi-primal algebras
- Basic questions for general algebras
- Mysterious varieties
- Congruence-distributive varieties of algebras
- Countable embeddability skeletons of discriminator varieties
- On the number of discriminator varieties incomparable in countable epimorphism skeletons
This page was built for publication: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1248637)
