Type Preservation In Locally Finite Varieties with the CEP Journal Article

Overview

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〉.

CU Boulder Authors

• Kearnes, Keith A

publication date

• August 1, 1991

has restriction

• bronze

Date in CU Experts

• September 19, 2013 10:51 AM

Full Author List

• Kearnes KA

author count

• 1

published in

• Canadian Journal of Mathematics  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0008-414X

Electronic International Standard Serial Number (EISSN)

• 1496-4279

Digital Object Identifier (DOI)

• https://doi.org/10.4153/cjm-1991-043-1

Additional Document Info

start page

• 748

end page

• 769

volume

• 43

issue

• 4