Seminar series
Date
Wed, 24 Oct 2018
11:00
11:00
Location
N3.12
Speaker
Victor Lisinski
Organisation
University of Oxford
In this talk we will introduce quantifier elimination and give various examples of theories with this property. We will see some very useful applications of quantifier elimination to algebra and geometry that will hopefully convince you how practical this property is to other areas of mathematics.