Logic Seminar - Chris Miller

September 11, 2018
Tuesday, September 25, 2018 - 1:45pm to 2:45pm
Baker Systems Engineering 272
Logic Seminar

Title: A brief description of the most recent Karp Prize

Speaker: Chris Miller (Ohio State Univerity)

Abstract: In May 2018, the most recent Karp Prize was awarded jointly to Matthias Aschenbrenner, Lou van den Dries and Joris van der Hoeven for their work on "Asymptotic Differential Algebra". This was a huge project, stretching over many years and requiring hundreds of pages for proofs. Nevertheless, their main result can be explained to logicians as merely saying that a certain theory is model complete. I will present this formulation and give a rough description of the standard model of the theory.

S M T W T F S
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30
 
31