Seminar series
Date
Wed, 16 Feb 2011
Time
11:30 -
12:30
Location
ChCh, Tom Gate, Room 2
Speaker
Matt Towers
Organisation
University of Oxford
I will give a short introduction to non-standard analysis using Nelson's Internal Set Theory, and attempt to give some interesting examples of what can be done in NSA. If time permits I will look at building models for IST inside the usual ZFC set theory using ultrapowers.