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
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.
\n\nEveryone is invited for snacks and drinks in the common room after the talk!
URL:http://events.illc.uva.nl/coollogic/ CONTACT:Zoi Terzopoulou at coollogic.uva at gmail. com END:VEVENT END:VCALENDAR