Logo

Mathematical Sciences Research Institute

Home » Model Theory

Summer Graduate School

Model Theory July 23, 2012 - August 03, 2012
Registration Deadline: April 13, 2012 over 2 years ago
Parent Program: Model Theory, Arithmetic Geometry and Number Theory
Location: Mathematical Sciences Research Institute, Berkeley CA
Organizers David Marker* (University of Illinois, Chicago), Thomas Scanlon (University of California, Berkeley), Carol Wood (Wesleyan University).
Lecturer(s) No Lecturers Assigned Yet.
Speaker(s)

Show List of Speakers

Description 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


Funding & Logistics Show All Collapse

Show Directions to Venue

Show Visa/Immigration

Schedule
Show All Collapse
Jul 23, 2012
Monday
09:15 AM - 09:30 AM
  MSRI Welcome
09:30 AM - 10:45 AM
  o-minimality
10:45 AM - 11:15 AM
  Tea
10:45 AM - 11:15 AM
  Break
11:15 AM - 12:30 PM
  Algebraic Dynamics
11:15 AM - 12:30 PM
  Break
12:30 PM - 02:00 PM
  Lunch
12:30 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Discussion I
02:00 PM - 03:00 PM
  Break
03:00 PM - 04:00 PM
  Break
03:00 PM - 04:00 PM
  Tea
04:00 PM - 05:00 PM
  Discussion II
Jul 24, 2012
Tuesday
09:15 AM - 10:30 AM
  o-minimality
10:30 AM - 11:00 AM
  Tea
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Algebraic Dynamics
11:00 AM - 12:15 PM
  Break
12:15 PM - 02:00 PM
  Lunch
12:15 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Discussion I
02:00 PM - 03:00 PM
  Break
03:00 PM - 04:00 PM
  Tea
03:00 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion II
Jul 25, 2012
Wednesday
09:30 AM - 11:00 AM
  o-minimality
11:00 AM - 11:30 AM
  Tea
11:00 AM - 02:00 PM
  Break
11:30 AM - 02:00 PM
  BBQ Lunch at nearby park
02:00 PM - 03:30 PM
  Algebraic Dynamics
02:00 PM - 03:30 PM
  Break
03:30 PM - 04:00 PM
  Tea
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion
Jul 26, 2012
Thursday
09:15 AM - 10:30 AM
  o-minimality
10:30 AM - 11:00 AM
  Tea
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Algebraic Dynamics
11:00 AM - 12:15 PM
  Break
12:15 PM - 02:00 PM
  Break
12:15 PM - 02:00 PM
  Lunch
02:00 PM - 03:00 PM
  Discussion I
02:00 PM - 03:00 PM
  Break
03:00 PM - 04:00 PM
  Tea
03:00 PM - 04:00 PM
  Break
04:00 PM - 08:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion II
Jul 27, 2012
Friday
09:30 AM - 11:00 AM
  o-minimality
11:00 AM - 11:30 AM
  Tea
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Discussion I
11:30 AM - 12:30 PM
  Break
12:30 PM - 02:00 PM
  Lunch
12:30 PM - 02:00 PM
  Break
02:00 PM - 03:30 PM
  Algebraic Dynamics
02:00 PM - 03:30 PM
  Break
03:30 PM - 04:00 PM
  Tea
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion II
Jul 30, 2012
Monday
09:30 AM - 11:00 AM
  o-minimality
11:00 AM - 11:30 AM
  Tea
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Discussion I
11:30 AM - 12:30 PM
  Break
12:30 PM - 02:00 PM
  Lunch
12:30 PM - 02:00 PM
  Break
02:00 PM - 03:30 PM
  Algebraic Dynamics
02:00 PM - 03:30 PM
  Break
03:30 PM - 04:00 PM
  Tea
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion II
Jul 31, 2012
Tuesday
09:15 AM - 10:30 AM
  o-minimality
10:30 AM - 11:00 AM
  Tea
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Algebraic Dynamics
11:00 AM - 12:15 PM
  Break
12:15 PM - 02:00 PM
  Lunch
12:15 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Discussion I
02:00 PM - 03:00 PM
  Break
03:00 PM - 04:00 PM
  Tea
03:00 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion II
Aug 01, 2012
Wednesday
09:30 AM - 11:00 AM
  o-minimality
11:00 AM - 11:30 AM
  Tea
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Discussion I
11:30 AM - 12:30 PM
  Break
12:30 PM - 02:00 PM
  Lunch
12:30 PM - 02:00 PM
  Break
02:00 PM - 03:30 PM
  Algebraic Dynamics
02:00 PM - 03:30 PM
  Break
03:30 PM - 04:00 PM
  Tea
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion II
Aug 02, 2012
Thursday
09:15 AM - 10:30 AM
  o-minimality
10:30 AM - 11:00 AM
  Tea
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Algebraic Dynamics
11:00 AM - 12:15 PM
  Break
12:15 PM - 02:00 PM
  Lunch
12:15 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Discussion I
02:00 PM - 03:00 PM
  Break
03:00 PM - 04:00 PM
  Tea
03:00 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Discussion II
Aug 03, 2012
Friday
09:15 AM - 10:30 AM
  o-minimality
10:30 AM - 11:00 AM
  Tea
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:15 PM
  Algebraic Dynamics
11:00 AM - 12:15 PM
  Break
12:15 PM - 02:00 PM
  Lunch
12:15 PM - 02:00 PM
  Break
02:00 PM - 03:30 PM
  Further Directions I
02:00 PM - 03:30 PM
  Break
03:30 PM - 04:00 PM
  Tea
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Further Directions II