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.
Abstract:
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
Find event
Frank Adams 1
Alan Turing Building
Manchester