Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3 - 7 September 2018, Summer School: 100 Years of Model Theory, Jena, Germany

Date: 3 - 7 September 2018
Location: Jena, Germany
Deadline: Thursday 28 June 2018

The Loewenheim-Skolem theorem was proven about 100 years ago. It is not only the first theorem of model theory, but also the first theorem of metalogic. In the summer school we will read the fundamental results from Loewenheim and Skolem, as well as works from Goedel and Herbrand, that build on the latter. We will discuss their relations and their impact from both a formal logical and philosophical point of view.

The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. The lecturers at the school include Timothy Bays (University of Notre Dame) and Juliette Kennedy (University of Helsinki).

For more information, see http://www.mt100.uni-jena.de/en/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.