Type Preservation In Locally Finite Varieties with the CEP Journal Article uri icon



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

publication date

  • August 1, 1991

Date in CU Experts

  • September 19, 2013 10:51 AM

Full Author List

  • Kearnes KA

author count

  • 1

Other Profiles

International Standard Serial Number (ISSN)

  • 0008-414X

Electronic International Standard Serial Number (EISSN)

  • 1496-4279

Additional Document Info

start page

  • 748

end page

  • 769


  • 43


  • 4