Abstract
AbstractAssume that A is a finite algebra contained in a variety that has the congruence extension property and that B is a subalgebra of A. If α ≺ β in Con A and α |B ≠ β |B, then we show that α |B ≺ β |B and that there is a close connection between the type labellings of the quotients 〈α, α〉 and 〈α|B, β|B〉.
Publisher
Canadian Mathematical Society
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献