Logic Seminar - Leo Gitin
| Dates: | 13 May 2026 |
|---|
| Times: | 15:00 - 16:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Current University students |
|---|
|
Speaker: Leo Gitin (University of Oxford)
Infinitary methods in valuative algebra
Infinitary logic is a well-established extension of "ordinary" first-order logic, which flourished in the 60s and 70s. Its usefulness for algebraic applications has been recognised by many, though now it is less commonly used for such purposes.
We explain that basic algebraic constructions, such as radicals of ideals, inverse limits, etc., are infinitarily definable or interpretable (some of these ideas are folklore). Taking the infinitary point of view, we prove elementary preservation results for concrete objects of algebraic interest, such as tilts and decompositions of valuations. As an application, we show that tilting preserves the Lévy hierarchy of formulas, thus answering a question of Jahnke and Kartas.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
