September 25, 2018
1:45PM - 2:45PM
Baker Systems Engineering 272
Add to Calendar
2018-09-25 13:45:00
2018-09-25 14:45:00
Logic Seminar - Chris Miller
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.
Baker Systems Engineering 272
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
Add to Calendar
2018-09-25 13:45:00
2018-09-25 14:45:00
Logic Seminar - Chris Miller
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.
Baker Systems Engineering 272
Department of Mathematics
math@osu.edu
America/New_York
public
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.