Deacon Linkhorn - Lindström's theorem
|Starts:||15:00 29 Nov 2019|
|Ends:||16:00 29 Nov 2019|
|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