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

DOI10.1007/BF02485404zbMATH Open0383.08008MaRDI QIDQ1248637FDOQ1248637

Publication date: 1978

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

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

Cites Work

Identities satisfied by a finite ring
Identical relations in finite groups
Algebras Whose Congruence Lattices are Distributive.
Bases for equational theories of semi-groups
The number of subdirectly irreducible algebras in a variety
Finite equational bases for finite algebras in a congruence-distributive equational class
Completeness in arithmetical algebras
Equational classes generated by finite algebras
Equational Bases for Lattice Theories.
Varieties generated by para primal algebras
A finite algebra A with SP(A) not elementary

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
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
EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER
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
Title not available (Why is that?)
A finite basis theorem for residually finite, congruence meet-semidistributive varieties
A new proof of the McKenzie-Gumm theorem
The lattice of strengthenings of a strongly finite consequence operation
PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
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
THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES
Definable principal congruences in varieties of groups and rings
A note on directly indecomposable algebras
A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
On the number of discriminator varieties incomparable in countable epimorphism skeletons
An example concerning definable principal congruences
Finite bases for flat graph algebras
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
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
Quasivarieties with definable relative principal subcongruences
Congruence-distributive varieties of algebras
Universal algebraic methods for non-classical logics

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)