Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties

DOI10.1007/BF02485404zbMath0383.08008MaRDI QIDQ1248637

Publication date: 1978

Published in: Algebra Universalis (Search for Journal in Brave)

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40) Axiomatic model classes (08C10)

Related Items (53)

Bjarni Jónsson's contributions in algebra ⋮ Identities and quasi-identities of pointed algebras ⋮ Uniform interpolation and compact congruences ⋮ Unnamed Item ⋮ A survey of minimal clones ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Varieties of Rings with Definable Principal Congruences ⋮ A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity ⋮ Uniform congruence schemes ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Universal algebraic methods for non-classical logics ⋮ 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 ⋮ Boolean Powers of Groups ⋮ Tarski’s finite basis problem via 𝐀(𝒯) ⋮ Congruence-distributive varieties of algebras ⋮ 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 ⋮ Countable embeddability skeletons of discriminator varieties ⋮ Natural extensions and profinite completions of algebras ⋮ On the number of discriminator varieties incomparable in countable epimorphism skeletons ⋮ On classes of algebras with the definability of congruences ⋮ Universal algebras ⋮ PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER ⋮ Characterization of relatively distributed quasivarieties of algebras ⋮ PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE ⋮ The Structure of Rings in Some Varieties with Definable Principal Congruences ⋮ Finite Rings in Varieties with Definable Principal Congruences ⋮ A finite basis theorem for difference-term varieties with a finite residual bound ⋮ Quasivarieties of algebras with definable principal congruences ⋮ Finite bases for flat graph algebras ⋮ An example concerning definable principal congruences ⋮ A finite basis theorem for residually finite, congruence meet-semidistributive varieties ⋮ Equivalent transformations of formulas in \(P_2\). ⋮ Definable principal congruences and solvability ⋮ Definable principal congruences in varieties of groups and rings ⋮ Definable principal congruences in congruence distributive varieties ⋮ Quasivarieties with definable relative principal subcongruences ⋮ Narrowness implies uniformity ⋮ THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES ⋮ Nondefinability of projectivity in lattice varieties ⋮ Direct factor varieties ⋮ Quasiidentities of two-element algebras ⋮ Demi-primal algebras ⋮ Basic questions for general algebras ⋮ Mysterious varieties

Cites Work

This page was built for publication: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties