FG1 Seminar talk

2018-05-18 (10:15)
Julius Jonušas
Hitchhiker's guide to loop conditions

Abstract:
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.