Logic seminar: Mike Prest
| Dates: | 26 March 2025 |
|---|
| Times: | 15:00 - 16:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|---|
|
Title: Elimination of quantifiers and elimination of imaginaries in triangulated categories
Abstract: There is a natural language for objects in compactly generated triangulated categories. The resulting model theory is equivalent to the model theory of modules over certain kinds of rings with many objects. In contrast with the usual situation for model theory of modules, where one has just pp-elimination of quantifiers, in this context we have both elimination of quantifiers and elimination of pp-imaginaries.
These results are in:
Grigory Garkusha and Mike Prest, Triangulated categories and the Ziegler spectrum, Algebras and Representation Theory, 8(4) (2005), 499-523
Mike Prest and Rose Wagstaffe, Model theory in compactly generated triangulated categories, Model Theory, 3(1) (2024), 147-197.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
