{"id":789,"date":"2016-06-08T18:13:33","date_gmt":"2016-06-08T10:13:33","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=789"},"modified":"2016-06-15T18:06:46","modified_gmt":"2016-06-15T10:06:46","slug":"seminar-three-lectures-in-model-theory-jouko-vaananen","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/seminar-three-lectures-in-model-theory-jouko-vaananen\/","title":{"rendered":"[tutorial] Three lectures in model theory (Jouko Vaananen)"},"content":{"rendered":"<blockquote><p><strong>Time:<\/strong> 2016 Jun. 13-15, 19:00-21:00 (each day)<br \/>\n<strong>Venue:<\/strong> Rm 335 XinZhai (\u65b0\u658b), Tsinghua University, Beijing.<\/p><\/blockquote>\n<p><strong>Lecturer:<\/strong> <strong>Jouko Vaananen<\/strong>\u00a0(University of Helsinki)<\/p>\n<p><strong>Title and Abstracts:\u00a0<img decoding=\"async\" loading=\"lazy\" class=\"alignright wp-image-794 size-large\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2016\/06\/Jouko\u6d77\u62a5-282x400.jpg\" alt=\"Jouko\u6d77\u62a5\" width=\"282\" height=\"400\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2016\/06\/Jouko\u6d77\u62a5-282x400.jpg 282w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2016\/06\/Jouko\u6d77\u62a5-141x200.jpg 141w\" sizes=\"(max-width: 282px) 100vw, 282px\" \/><\/strong><\/p>\n<p>&gt;&gt; Monday, June 13: A general introduction to model theory<br \/>\nThe lecturer\u00a0will give an introduction to the main ideas and results of model theory, including Shelah\u2019s stability theory.<br \/>\n[<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2016\/06\/China_MT1_2016.pdf\">Slides for Lecture 1<\/a>]<\/p>\n<p>&gt;&gt; Tuesday, June 14: Hintikka sets and their applications<br \/>\nThe lecturer\u00a0will tell what Hintikka sets are and how they can be used as a powerful method in model theory to prove e.g. the Compactness Theorem, Completeness Theorem and the Interpolation Theorem.<br \/>\n[<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2016\/06\/China_MT2_2016.pdf\">Slides for Lecture 2<\/a>]<\/p>\n<p>&gt;&gt; Wednesday, June 15: Dependence logic<br \/>\nDependence logic arises from first order logic when new atomic formulas are added, e.g. for dependence, independence or inclusion. The lecturer will give the basic ingredients necessary for the study of dependence logic.<br \/>\n[<a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2016\/06\/China_MT3_2016.pdf\">Slides for Lecture 3<\/a>]<\/p>\n<p><strong>Organization:<\/strong><br \/>\nTsinghua University &#8211; University of Amsterdam Joint Research Centre for Logic<br \/>\nDepartment of Philosophy, Tsinghua University<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time: 2016 Jun. 13-15, 19:00-21:00 (each day) Venue: Rm [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[51,42,10],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/789"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=789"}],"version-history":[{"count":10,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/789\/revisions"}],"predecessor-version":[{"id":806,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/789\/revisions\/806"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=789"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=789"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=789"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}