Blog Archives

Topic Archive: universal algebra

Friday, February 6, 201511:00 amGC 4102 (Science Center)

Alexander Mikhalyov

Elementary equivalence of derivative structures of classical and universal algebras and second order logic

Lomonosov Moscow State University

We give a survey of results in this direction for last 50-60 years (with some accents on recent results on elementary equivalence of endomorphism rings and automorphism groups of Abelian p-groups (E. I. Bunina, A. V. Mikhalev, and M. Royzner, 2013-2014).

CUNY Logic WorkshopFriday, November 14, 20142:00 pmGC 6417

Algebraic and model-theoretic methods in constraint satisfaction

Université Diderot – Paris 7

The Constraint Satisfaction Problem (CSP) of a first-order structure S in a finite relational language is the problem of deciding whether a given conjunction of atomic formulas in that language is satisfiable in S. Many classical computational problems can be modeled this way. The study of the complexity of CSPs involves an interesting combination of techniques from universal algebra, Ramsey theory, and model theory. I will present an overview over these techniques as well as some wild conjectures.