Adjoining weak inverses and weak prime roots completes reduced commutative rings into a discriminator variety with regular monomorphisms and simple dominion descriptions.
The theory of implicit operations
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
abstract
A family of partial functions of a class of algebras $\mathsf{K}$ is said to be an implicit operation of $\mathsf{K}$ when it is defined by a first order formula and it is preserved by homomorphisms. In this work, we develop the theory of implicit operations from an algebraic standpoint.
years
2026 2representative citing papers
Simple pp expansions of a quasivariety K are precisely the quasivarieties M such that the forgetful functor U from M to K is well-defined and M is isomorphic to a mono-reflective subcategory of K.
citing papers explorer
-
A completion of reduced commutative rings
Adjoining weak inverses and weak prime roots completes reduced commutative rings into a discriminator variety with regular monomorphisms and simple dominion descriptions.
-
A categorical description of simple Beth companions
Simple pp expansions of a quasivariety K are precisely the quasivarieties M such that the forgetful functor U from M to K is well-defined and M is isomorphic to a mono-reflective subcategory of K.