|
|
Summer Graduate Workshop
Model Theory
Jul 23, 2012
to
Aug 3, 2012
Organizer(s)
David Marker* (University of Illinois, Chicago), Thomas Scanlon (University of California, Berkeley), Carol Wood (Wesleyan University).
The workshop will consist of two minicourses, together with a selection of topical lectures. In the model theory course, o-minimality, and specifically the concrete example of the semi-algebraic sets of real numbers will provide the setting in which we introduce various fundamental results from model theory. The algebraic dynamics course will allow the introduction of concepts and proof techniques from number theory and algebraic geometryin the context of applications involving model theory. Toward the end of the workshop, the two minicourses will converge on the Pila-Wilkie theorem concerning points on analytic varieties, a result crucial in recent applications of o-minimality to diophantine geometry. Bibliography (PDF) http://www.math.rochester.edu/people/faculty/ttucker/MSRI.dir/Main.html - Professor Tucker Notes and Problems http://www.math.uic.edu/~marker/msri - Professor Marker Notes Alex Wilkies's Lecture Notes (PDF) For eligibility and how to apply, see the Summer Graduate Workshop homepage
| Schedule |
| Monday, July 23, 2012 |
|
9:15AM - 9:30AM |
MSRI, Simons Auditorium |
MSRI Welcome
|
|
9:30AM - 10:45AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
10:45AM - 11:15AM |
MSRI, Atrium |
Tea
|
|
10:45AM - 11:15AM |
MSRI, Simons Auditorium |
Break
|
|
11:15AM - 12:30PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
11:15AM - 12:30PM |
MSRI, Atrium |
Break
|
|
12:30PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
12:30PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
2:00PM - 3:00PM |
MSRI, Simons Auditorium |
Discussion I
|
|
2:00PM - 3:00PM |
MSRI, Atrium |
Break
|
|
3:00PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
3:00PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Tuesday, July 24, 2012 |
|
9:15AM - 10:30AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
10:30AM - 11:00AM |
MSRI, Atrium |
Tea
|
|
10:30AM - 11:00AM |
MSRI, Simons Auditorium |
Break
|
|
11:00AM - 12:15PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
11:00AM - 12:15PM |
MSRI, Atrium |
Break
|
|
12:15PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
12:15PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
2:00PM - 3:00PM |
MSRI, Simons Auditorium |
Discussion I
|
|
2:00PM - 3:00PM |
MSRI, Atrium |
Break
|
|
3:00PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
3:00PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Wednesday, July 25, 2012 |
|
9:30AM - 11:00AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
11:00AM - 11:30AM |
MSRI, Atrium |
Tea
|
|
11:00AM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
11:30AM - 2:00PM |
MSRI, Atrium |
BBQ Lunch at nearby park
|
|
2:00PM - 3:30PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:30PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
3:30PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:30PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion
|
| Thursday, July 26, 2012 |
|
9:15AM - 10:30AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
10:30AM - 11:00AM |
MSRI, Simons Auditorium |
Break
|
|
10:30AM - 11:00AM |
MSRI, Atrium |
Tea
|
|
11:00AM - 12:15PM |
MSRI, Atrium |
Break
|
|
11:00AM - 12:15PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
12:15PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
12:15PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
2:00PM - 3:00PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:00PM |
MSRI, Simons Auditorium |
Discussion I
|
|
3:00PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:00PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 8:00PM |
MSRI, Atrium |
Break
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Friday, July 27, 2012 |
|
9:30AM - 11:00AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
11:00AM - 11:30AM |
MSRI, Simons Auditorium |
Break
|
|
11:00AM - 11:30AM |
MSRI, Atrium |
Tea
|
|
11:30AM - 12:30PM |
MSRI, Atrium |
Break
|
|
11:30AM - 12:30PM |
MSRI, Simons Auditorium |
Discussion I
|
|
12:30PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
12:30PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
2:00PM - 3:30PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:30PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
3:30PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:30PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Monday, July 30, 2012 |
|
9:30AM - 11:00AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
11:00AM - 11:30AM |
MSRI, Simons Auditorium |
Break
|
|
11:00AM - 11:30AM |
MSRI, Atrium |
Tea
|
|
11:30AM - 12:30PM |
MSRI, Atrium |
Break
|
|
11:30AM - 12:30PM |
MSRI, Simons Auditorium |
Discussion I
|
|
12:30PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
12:30PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
2:00PM - 3:30PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:30PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
3:30PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:30PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Tuesday, July 31, 2012 |
|
9:15AM - 10:30AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
10:30AM - 11:00AM |
MSRI, Simons Auditorium |
Break
|
|
10:30AM - 11:00AM |
MSRI, Atrium |
Tea
|
|
11:00AM - 12:15PM |
MSRI, Atrium |
Break
|
|
11:00AM - 12:15PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
12:15PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
12:15PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
2:00PM - 3:00PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:00PM |
MSRI, Simons Auditorium |
Discussion I
|
|
3:00PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:00PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Wednesday, August 01, 2012 |
|
9:30AM - 11:00AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
11:00AM - 11:30AM |
MSRI, Simons Auditorium |
Break
|
|
11:00AM - 11:30AM |
MSRI, Atrium |
Tea
|
|
11:30AM - 12:30PM |
MSRI, Atrium |
Break
|
|
11:30AM - 12:30PM |
MSRI, Simons Auditorium |
Discussion I
|
|
12:30PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
12:30PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
2:00PM - 3:30PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:30PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
3:30PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:30PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Thursday, August 02, 2012 |
|
9:15AM - 10:30AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
10:30AM - 11:00AM |
MSRI, Simons Auditorium |
Break
|
|
10:30AM - 11:00AM |
MSRI, Atrium |
Tea
|
|
11:00AM - 12:15PM |
MSRI, Atrium |
Break
|
|
11:00AM - 12:15PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
12:15PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
12:15PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
2:00PM - 3:00PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:00PM |
MSRI, Simons Auditorium |
Discussion I
|
|
3:00PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:00PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Discussion II
|
| Friday, August 03, 2012 |
|
9:15AM - 10:30AM |
MSRI, Simons Auditorium |
o-minimality
[Video available]
|
|
10:30AM - 11:00AM |
MSRI, Simons Auditorium |
Break
|
|
10:30AM - 11:00AM |
MSRI, Atrium |
Tea
|
|
11:00AM - 12:15PM |
MSRI, Atrium |
Break
|
|
11:00AM - 12:15PM |
MSRI, Simons Auditorium |
Algebraic Dynamics
[Video available]
|
|
12:15PM - 2:00PM |
MSRI, Simons Auditorium |
Break
|
|
12:15PM - 2:00PM |
MSRI, Atrium |
Lunch
|
|
2:00PM - 3:30PM |
MSRI, Atrium |
Break
|
|
2:00PM - 3:30PM |
MSRI, Simons Auditorium |
Further Directions I
[Video available]
|
|
3:30PM - 4:00PM |
MSRI, Simons Auditorium |
Break
|
|
3:30PM - 4:00PM |
MSRI, Atrium |
Tea
|
|
4:00PM - 5:00PM |
MSRI, Simons Auditorium |
Further Directions II
[Video available]
|
Parent Program(s):
Model Theory, Arithmetic Geometry and Number Theory
The Institute is committed to the principles of Equal
Opportunity and Affirmative Action.
|