Mathematical Structures: History of Congruence extension property

# History of Congruence extension property

HomePage | RecentChanges | Login

 Revision 7 . . June 27, 2004 4:24 am by Jipsen Revision 6 . . July 29, 2003 9:52 pm by 68.5.251.xxx

Difference (from prior major revision) (no other diffs)

Changed: 10c10
 if $\mathbf{B}/\theta\in\mathcal{K}$. If $\mathbf{B}$ is a subalgebra of $\mathbf{A}$, we say that a $\mathcal{K}$-congruence
 if $\mathbf{B}//\theta\in\mathcal{K}$. If $\mathbf{B}$ is a subalgebra of $\mathbf{A}$, we say that a $\mathcal{K}$-congruence

Changed: 20,38c20,21
 W. J. Blok D. Pigozzi On the congruence extension property Algebra Universalis Algebra Universalis 38 1997 4 391--394 0002-5240 AGUVA3 08A30 (08C15) 99m:08007 V. N. Sali\\u\\i shows that for a quasivarieties $\mathcal{K}$, PRCEP implies RCEP.
 [W. J. Blok and D. Pigozzi, On the congruence extension property, Algebra Universalis, 38, 1997, 391--394 MRreview] shows that for a quasivarieties $\mathcal{K}$, PRCEP implies RCEP.

HomePage | RecentChanges | Login
Search: