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
(53)- The Structure of Rings in Some Varieties with Definable Principal Congruences
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- The undecidability of the definability of principal subcongruences
- Every shift automorphism variety has an infinite subdirectly irreducible member
- Profiniteness in finitely generated varieties is undecidable
- Narrowness implies uniformity
- Finite Rings in Varieties with Definable Principal Congruences
- Identities and quasi-identities of pointed algebras
- Relative congruence formulas and decompositions in quasivarieties
- Quasiidentities of two-element algebras
- A proof of Lyndon's finite basis theorem
- A finite basis theorem for difference-term varieties with a finite residual bound
- Uniform interpolation and compact congruences
- Definable principal congruences and solvability
- Varieties of Rings with Definable Principal Congruences
- Two examples concerning the definability of the disjointness property of principal congruences
- A four-element algebra whose identities are not finitely based
- scientific article; zbMATH DE number 1154180 (Why is no real title available?)
- A new proof of the McKenzie-Gumm theorem
- The lattice of strengthenings of a strongly finite consequence operation
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- A survey of minimal clones
- Boolean Powers of Groups
- On classes of algebras with the definability of congruences
- Universal algebras
- Bjarni Jónsson's contributions in algebra
- Definable principal congruences in congruence distributive varieties
- Natural extensions and profinite completions of algebras
- Characterization of relatively distributed quasivarieties of algebras
- Equivalent transformations of formulas in \(P_2\).
- Tarski’s finite basis problem via 𝐀(𝒯)
- PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
- Definable principal congruences in varieties of groups and rings
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
- A note on directly indecomposable algebras
- On the number of discriminator varieties incomparable in countable epimorphism skeletons
- An example concerning definable principal congruences
- Varieties with equationally definable principal congruences
- Countable embeddability skeletons of discriminator varieties
- Direct factor varieties
- Nondefinability of projectivity in lattice varieties
- Basic questions for general algebras
- Finite bases for flat graph algebras
- Demi-primal algebras
- Mysterious varieties
- Uniform congruence schemes
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- Quasivarieties of algebras with definable principal congruences
- Plain para primal algebras
- Finite groupoids without finite bases for their identities
- Universal algebraic methods for non-classical logics
- Quasivarieties with definable relative principal subcongruences
- Congruence-distributive varieties of algebras
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)
