| Saturday 24 May 2025 | |
| Events for day: Thursday 15 May 2025 |
| 14:00 - 16:00 Mathematical Logic Weekly Seminar Imaginaries in Products and the Ring of Adeles of Number Fields School MATHEMATICS An imaginary sort of a first-order structure is a possible universe of an interpretable structure. The significance of imaginary sorts was established in the abstract setting of Classification Theory by Shelah, where all notions of stability theory, especially algebraic closure, were interpreted with imaginary sorts taken into account. Imaginaries were studied for specific theories by Poizat who showed that algebraically closed fields and differentially closed fields eliminate imaginaries, i.e. each imaginary sort is in definable bijection with a definable set of n-tuples. In valued fields imaginary sorts differ qualitatively ... |