Date:
Mon, 06/06/202216:00-18:00
Location:
Manchester faculty room
First talk - Timo Krisam
Title: A primer on NIP theories - Of dependence and trees
Abstract: The study of first-order theories is one of the main concerns of model theory. As they can be quite complicated in general, one often restricts oneself to classes of theories that are relatively tame.Over the years, several such classes have been defined and studied; concerning both their logical properties and their uses in other branches of mathematics.
We will take a more detailed look at one of those classes; theories without the independence property (NIP). Examples include algebraically closed fields, dense linear orders, certain kinds of valued fields and many more.
This will be done in two manners: First, we will see what being NIP entails for concrete mathematical structures, e.g. groups or fields.
The second direction focuses on the logical properties of the class. We will see where NIP is located in the universe of first-order theories and how it relates to certain other important classes.
----------------------------------------------------------------------------------------------------------
Second talk - Johanna Steinmeyer
Title: Lattice polytopes
Abstract: Are you stuck on a puzzle? Looking for a new mathemagical object to throw at it? Try lattice polytopes! Guaranteed* to help all your puzzle woes.
Abstract: Are you stuck on a puzzle? Looking for a new mathemagical object to throw at it? Try lattice polytopes! Guaranteed* to help all your puzzle woes.
Proven effective on common puzzles like Sudoku, magic squares, optimization, algebraic geometry, breaking RSA encryption, string theory, and ordering Chicken McNuggets® for a party.
In this talk we will demonstrate a few of these applications and on the way learn the proper way to bookkeeping: Generating function magic tricks. No prior knowledge of any of these things is assumed. Indeed, forgetting such knowledge ensures maximum dramatic effect.
*Or your money back.