BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20191128T112357Z
DTSTART:20191129T150000Z
DTEND:20191129T160000Z
SUMMARY:Deacon Linkhorn - Lindström's theorem
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}d3o-k3imr4n
h-wycoxa
DESCRIPTION:This week's pure postgrad seminar will be given by Deacon Lin
khorn at 3pm in Frank Adams 1.\n\nAbstract:\nLindström's theorem says th
at no abstract logic satisfying both the Löwenheim-Skolem theorem and th
e compactness theorem can be strictly more expressive than first-order l
ogic. I will talk about the theorem\, most likely without going into the
proof.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR