FG1 Seminar talk
Hitchhiker's guide to loop conditions
An important problem in Universal Algebra is understanding equations which hold in a given algebra. In recent years, a number of results about equations have been proven using so called Loop Lemmas. In this talk, we will explore Loop Lemmas and Loop Conditions.