Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Family events
  • All Events

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
See travel and contact information
Add to your calendar

More information

  • Department of Mathematics

Other events

  • In category "Seminar"
  • In group "(Maths) Pure postgraduate seminars"
  • In group "(Maths) Maths seminar series"
  • By Department of Mathematics

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

Contact event

Clement Hege

clement.hege@manchester.ac.uk

Share / follow event

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • Twitter page for The University of Manchester
  • YouTube page for The University of Manchester
  • Google+ page for The University of Manchester
  • Pinterest page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Family events
    • All events