BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
PRODID:Data::ICal 0.24
BEGIN:VTIMEZONE
TZID:Pacific/Auckland
X-LIC-LOCATION:Pacific/Auckland
BEGIN:DAYLIGHT
DTSTART:19700927T020000
RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=-1SU
TZNAME:NZDT
TZOFFSETFROM:+1200
TZOFFSETTO:+1300
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19700405T030000
RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1SU
TZNAME:NZST
TZOFFSETFROM:+1300
TZOFFSETTO:+1200
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:SMS Seminars
CONTACT:Steffen Lempp\, University of Wisconsin
DESCRIPTION:One of the recurring themes of logic is to study how weak the a
 xiom systems can be with which one can still prove the theorems one wants.
  One way to be sure one has the "minimal" axiom system is a setup where on
 e can prove the axiom sytem from the theorem (the setup of "reverse mathem
 atics").\nI will present an example\, using nonstandard models of the natu
 ral numbers\, to show some unexpected blurring of the boundaries between f
 inite and infinite.
DTEND;TZID=Pacific/Auckland:20091015T160000
DTSTAMP:20260502T085744Z
DTSTART;TZID=Pacific/Auckland:20091015T151000
LOCATION:Cotton Club\, Cotton 350
ORGANIZER:Steffen Lempp\, University of Wisconsin
SUMMARY:Steffen Lempp\, University of Wisconsin - When finite times finite 
 is infinite
UID:seminar_sms673_20091014094553
URL:
END:VEVENT
END:VCALENDAR