BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9924/4-M
 ay-2018-Cool-Logic-Anna-Bellomo
DTSTAMP:20180426T160921
SUMMARY:Cool Logic, Anna Bellomo
ATTENDEE;ROLE=Speaker:Anna Bellomo
DTSTART;TZID=Europe/Amsterdam:20180504T180000
DTEND;TZID=Europe/Amsterdam:20180504T190000
LOCATION:Room TBA, Science Park 107, Amsterdam
DESCRIPTION:This talk will compare two different c
 onceptualisations of domain expansion in mathemati
 cs, as exemplified by Kenneth Manders and, among o
 thers, Richard Dedekind, respectively. After prese
 nting how Manders’ ideas relate to the common mode
 l-theoretic notions of existentially closed models
  and model completeness of theories, we argue that
  the framework yields problematic assessments of s
 ome paradigmatic examples of domain expansion. We 
 then move on to the question of how these examples
  are handled in Dedekind’s framework, and then use
  the results of this analysis to assess the merits
  of Manders’ proposal.  Everyone is invited for sn
 acks and drinks in the common room after the talk!
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This talk will
  compare two different conceptualisations of domai
 n expansion in mathematics, as exemplified by Kenn
 eth Manders and, among others, Richard Dedekind, r
 espectively. After presenting how Manders’ ideas r
 elate to the common model-theoretic notions of exi
 stentially closed models and model completeness of
  theories, we argue that the framework yields prob
 lematic assessments of some paradigmatic examples 
 of domain expansion. We then move on to the questi
 on of how these examples are handled in Dedekind’s
  framework, and then use the results of this analy
 sis to assess the merits of Manders’ proposal.</p>
 \n\n  <p>Everyone is invited for snacks and drinks
  in the common room after the talk!</p>\n
URL:http://events.illc.uva.nl/coollogic/
CONTACT:Zoi Terzopoulou at coollogic.uva at gmail.
 com
END:VEVENT
END:VCALENDAR
