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/9765/14- May-2018-Colloquium-on-Mathematical-Logic-Zlatan-D amnjanovic DTSTAMP:20180401T044838 SUMMARY:Colloquium on Mathematical Logic, Zlatan D amnjanovic ATTENDEE;ROLE=Speaker:Zlatan Damnjanovic (Universi ty of Southern California) DTSTART;TZID=Europe/Amsterdam:20180514T140000 DTEND;TZID=Europe/Amsterdam:20180514T150000 LOCATION:F1.15, Science Park 107 DESCRIPTION:An elementary theory of concatenation, QT+, is introduced and used to establish mutual i nterpretability of Robinson arithmetic, Minimal Pr edicative Set Theory of Montagna and Mancini, quan tifier-free part of Kirby’s finitary set theory, a nd Adjunctive Set Theory, with or without extensio nality. X-ALT-DESC;FMTTYPE=text/html:\n
An elementary theory of concatenation, QT+, is introduced and us ed to establish mutual interpretability of Robinso n arithmetic, Minimal Predicative Set Theory of Mo ntagna and Mancini, quantifier-free part of Kirby’ s finitary set theory, and Adjunctive Set Theory, with or without extensionality.
URL:https://www.staff.science.uu.nl/~ooste110/semi nar.html CONTACT:Benno van den Berg at B.vandenBerg3 at uva .nl END:VEVENT END:VCALENDAR