School of Mathematical Sciences

What is Model Theory and Why Should I Care About It? menu

What is Model Theory and Why Should I Care About It?

Speaker: 
Rachael King
Date/Time: 
Tue, 24/10/2017 - 12:00
Room: 
W316

Model theory is a branch of mathematical logic which is concerned with interpreting mathematical statements in different algebraic structures. It has a reputation for being abstract and difficult to grasp, but this talk will aim to show the power of considering a model theoretic perspective. I will give an introduction to the language of model theory then give an example of a proof made much simpler using these techniques. If time permits I will also give an idea of what aspects of model theory I use in my work.