3-7 Sep 2018
Jena, Germany
====================================================================== Summer School 100 YEARS OF MODEL THEORY (Episode I: Loewenheim - Skolem - Goedel - Herbrand) September 3-7, 2018, University of Jena, Germany ====================================================================== www.mt100.uni-jena.de AIMS 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. INVITED SPEAKERS The lecturers at the school include * Timothy Bays (University of Notre Dame) * Juliette Kennedy (University of Helsinki) VENUE The interdisciplinary summer school is hosted by the Institute of Computer Science and the Institute for Philosophy of the University of Jena. It takes place in Jena, September 3-7, 2018. APPLICATION The school is aimed at Master and PhD students of Computer Science, Mathematics, Philosophy and related fields with some knowledge in formal logic. Please use the application form at www.mt100.uni-jena.de. Applications may be submitted by June 28, 2018. ORGANIZERS Tabea Rohr (Institute for Philosophy, Univ. Jena) Martin Mundhenk (Institute of Computer Science, Univ. Jena) CONTACT E-mail: mt100@uni-jena.de Homepage: www.mt100.uni-jena.de -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam