Deacon Linkhorn - Lindström's theorem
|Dates:||29 November 2019|
|Times:||15:00 - 16:00|
|What is it:||Seminar|
|Organiser:||Department of Mathematics|
|Who is it for:||Current University students|
This week's pure postgrad seminar will be given by Deacon Linkhorn at 3pm in Frank Adams 1.
Lindström's theorem says that no abstract logic satisfying both the Löwenheim-Skolem theorem and the compactness theorem can be strictly more expressive than first-order logic. I will talk about the theorem, most likely without going into the proof.
Travel and Contact Information
Frank Adams 1
Alan Turing Building