BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Roman Kossak (Graduate Center\, City University of New York)
DTSTART:20220224T190000Z
DTEND:20220224T200000Z
DTSTAMP:20260423T035718Z
UID:OLS/84
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/84/">Und
 efinability and absolute undefinability in models of arithmetic</a>\nby Ro
 man Kossak (Graduate Center\, City University of New York) as part of Onli
 ne logic seminar\n\n\nAbstract\nI will survey some well-known and some mor
 e recent undefinability results about models of Peano Arithmetic. I want t
 o contrast first-order undefinability in the standard model with a much st
 ronger notion of  undefinability which is suitable for resplendent models\
 , and use the results to motivate some more general questions about the na
 ture of undefinability.\n
LOCATION:https://researchseminars.org/talk/OLS/84/
END:VEVENT
END:VCALENDAR