Mathematical Structures: History of Congruence extension property

History of Congruence extension property

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

<bibxml:entry id="MR99m:08007">
<bibxml:article>
<bibxml:author>W. J. Blok</bibxml:author>
<bibxml:author>D. Pigozzi</bibxml:author>
<bibxml:title>On the congruence extension property</bibxml:title>
<bibxml:journal>Algebra Universalis</bibxml:journal>
<bibxml:fjournal>Algebra Universalis</bibxml:fjournal>
<bibxml:volume>38</bibxml:volume>
<bibxml:year>1997</bibxml:year>
<bibxml:number>4</bibxml:number>
<bibxml:pages>391--394</bibxml:pages>
<bibxml:issn>0002-5240</bibxml:issn>
<bibxml:coden>AGUVA3</bibxml:coden>
<bibxml:mrclass>08A30 (08C15)</bibxml:mrclass>
<bibxml:mrnumber>99m:08007</bibxml:mrnumber>
<bibxml:mrreviewer>V. N. Sali\\u\\i</bibxml:mrreviewer>
</bibxml:article>
</bibxml:entry>
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.

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