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
