From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7956 Path: news.gmane.org!not-for-mail From: Sara Negri Newsgroups: gmane.science.mathematics.fom,gmane.science.mathematics.categories Subject: 9th SCANDINAVIAN LOGIC SYMPOSIUM, 25-27 August 2014, Tampere, Finland Date: Wed, 18 Dec 2013 09:04:21 +0200 Message-ID: <20131218090421.Horde.SqA77Fv7U1jsOBdZMUPc3A8@webmail.helsinki.fi> Reply-To: Foundations of Mathematics NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed"; DelSp="Yes" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1387583081 23176 80.91.229.3 (20 Dec 2013 23:44:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 20 Dec 2013 23:44:41 +0000 (UTC) To: fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-X-From: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Sat Dec 21 00:44:48 2013 Return-path: Envelope-to: gsmf-fom-2-wOFGN7rlS/M9smdsby/KFg@public.gmane.org Original-Received: from mx.cims.nyu.edu ([128.122.49.99]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Vu9kN-0002sn-4K for gsmf-fom-2-wOFGN7rlS/M9smdsby/KFg@public.gmane.org; Sat, 21 Dec 2013 00:44:47 +0100 Original-Received: from mx.cims.nyu.edu (localhost [127.0.0.1]) by mx.cims.nyu.edu (8.14.5+Sun/8.14.5) with ESMTP id rBKNgKJh023717; Fri, 20 Dec 2013 18:42:28 -0500 (EST) Original-Received: from smtp-rs1-vallila2.fe.helsinki.fi (smtp-rs1-vallila2.fe.helsinki.fi [128.214.173.75]) by mx2.cims.nyu.edu (8.14.4+Sun/8.14.4) with ESMTP id rBI74Swm022007 for ; Wed, 18 Dec 2013 02:04:29 -0500 (EST) Original-Received: from webmail-5.mappi.helsinki.fi (webmail-5.mappi.helsinki.fi [128.214.20.189]) by smtp-rs1.it.helsinki.fi (8.14.4/8.14.4) with ESMTP id rBI74LfG022070 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 18 Dec 2013 09:04:22 +0200 Original-Received: from AMarseille-151-1-88-164.w92-150.abo.wanadoo.fr (AMarseille-151-1-88-164.w92-150.abo.wanadoo.fr [92.150.95.164]) by webmail.helsinki.fi (Horde Framework) with HTTP; Wed, 18 Dec 2013 09:04:21 +0200 User-Agent: Internet Messaging Program (IMP) H5 (6.1.6) Content-Disposition: inline X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.1 (mx.cims.nyu.edu [127.0.0.1]); Fri, 20 Dec 2013 18:42:47 -0500 (EST) X-Greylist: Sender IP whitelisted by DNSRBL, not delayed by milter-greylist-4.4.1 (mx2.cims.nyu.edu [128.122.49.96]); Wed, 18 Dec 2013 02:04:29 -0500 (EST) X-Virus-Scanned: clamav-milter 0.97.4 at mx X-Virus-Status: Clean X-Scanned-By: MIMEDefang 2.73 on 128.122.49.99 X-Scanned-By: MIMEDefang 2.73 on 128.122.49.96 X-Mailman-Approved-At: Fri, 20 Dec 2013 18:11:57 -0500 X-BeenThere: fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Foundations of Mathematics List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Original-Sender: fom-bounces-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org Xref: news.gmane.org gmane.science.mathematics.fom:9453 gmane.science.mathematics.categories:7956 Archived-At: Cgo5dGggU0NBTkRJTkFWSUFOIExPR0lDIFNZTVBPU0lVTQoyNS0yNyBBdWd1c3QgMjAxNCwgVW5p dmVyc2l0eSBvZiBUYW1wZXJlLCBGaW5sYW5kCmh0dHA6Ly93d3cuc2lzLnV0YS5maS9TTFMyMDE0 LwoKCkZJUlNUIEFOTk9VTkNFTUVOVCBBTkQgQ0FMTCBGT1IgU1VCTUlTU0lPTlMKCgpUaGUgOXRo IFNjYW5kaW5hdmlhbiBMb2dpYyBTeW1wb3NpdW0gd2lsbCBiZSBoZWxkIGF0IHRoZSBVbml2ZXJz aXR5IG9mClRhbXBlcmUsIEZpbmxhbmQsIGR1cmluZyAyNS0yNyBBdWd1c3QgMjAxNCB1bmRlciB0 aGUgYXVzcGljZXMgb2YgdGhlClNjYW5kaW5hdmlhbiBMb2dpYyBTb2NpZXR5IChTTFMsIGh0dHA6 Ly9zY2FuZGluYXZpYW5sb2dpYy5vcmcvKS4KCkFzIHdpdGggcHJldmlvdXMgZWRpdGlvbnMgb2Yg dGhlIFN5bXBvc2l1bSwgaXRzIHByaW1hcnkgYWltcyBhcmUgdG8gIApyZWZsZWN0IHRoZSBjdXJy ZW50IGFjdGl2aXRpZXMgaW4gbG9naWMgaW4gdGhlIE5vcmRpYyBjb3VudHJpZXMgYW5kIHRvICAK cHJvdmlkZSBhIGxvY2FsIG1lZXRpbmcgZm9ydW0gZm9yIHRoZWlyIGxvZ2ljYWwgY29tbXVuaXRp ZXMsIGJyb2FkbHkgIApjb25jZWl2ZWQuIEJlc2lkZXMsIGl0IGludml0ZXMgYW5kIHdhcm1seSB3 ZWxjb21lcyBwYXJ0aWNpcGF0aW9uIG9mICAKbG9naWNpYW5zIGZyb20gYWxsIG92ZXIgdGhlIHdv cmxkLgoKClNDT1BFIEFORCBUT1BJQ1MKVGhlIHNjb3BlIG9mIFNMUyAyMDE0IGlzIGJyb2FkLCBy YW5naW5nIG92ZXIgdGhlIHdob2xlIGFyZWFzIG9mICAKTWF0aGVtYXRpY2FsIGFuZCBQaGlsb3Nv cGhpY2FsIExvZ2ljLCBhcyB3ZWxsIGFzIExvZ2ljYWwgTWV0aG9kcyBpbiAgIApDb21wdXRlciBT Y2llbmNlLCBBcnRpZmljaWFsIEludGVsbGlnZW5jZSwgTGluZ3Vpc3RpY3MsIGV0Yy4gIE1ham9y ICAKdG9waWNzIGluY2x1ZGUgKGJ1dCBhcmUgbm90IGxpbWl0ZWQgdG8pOiBQcm9vZiBUaGVvcnks IENvbnN0cnVjdGl2aXNtLCAgCiAgTW9kZWwgVGhlb3J5LCBTZXQgVGhlb3J5LCBDb21wdXRhYmls aXR5IFRoZW9yeSwgQWxnZWJyYSBhbmQgTG9naWMsICAKQ2F0ZWdvcmljYWwgTG9naWMsIExvZ2lj IGFuZCBDb21wdXRlciBTY2llbmNlLCBMb2dpYyBhbmQgTGluZ3Vpc3RpY3MsICAgCkxvZ2ljIGlu IEFJIGFuZCBNdWx0aS1BZ2VudCBTeXN0ZW1zLCBMb2dpY3Mgb2YgR2FtZXMsIE1vZGFsIGFuZCBv dGhlciAgCm5vbi1jbGFzc2ljYWwgTG9naWNzLCBQaGlsb3NvcGhpY2FsIExvZ2ljLgoKCklOVklU RUQgU1BFQUtFUlM6Ck1haSBHZWhya2UgKExJQUZBLCBQYXJpcykKVm9sa2VyIEhhbGJhY2ggKFVu aXZlcnNpdHkgb2YgT3hmb3JkKQpBc2dlciBUw7ZybnF1aXN0IChVbml2ZXJzaXR5IG9mIENvcGVu aGFnZW4pCkpvdWtvIFbDpMOkbsOkbmVuIChVbml2ZXJzaXR5IG9mIEhlbHNpbmtpKQpUaG9tYXMg w4Vnb3RuZXMgKFVuaXZlcnNpdHkgb2YgQmVyZ2VuKQoKClBST0dSQU0gQ09NTUlUVEVFCkNvLWNo YWlyczogU2FyYSBOZWdyaSAoVW5pdmVyc2l0eSBvZiBIZWxzaW5raSkgYW5kIFZhbGVudGluIEdv cmFua28KKFRlY2huaWNhbCBVbml2ZXJzaXR5IG9mIERlbm1hcmspCgpNZW1iZXJzOgpMdWNhIEFj ZXRvIChVbml2ZXJzaXR5IG9mIFJleWtqYXZpaykKTGFycyBCaXJrZWRhbCAoQWFyaHVzIFVuaXZl cnNpdHkpClBhdHJpY2sgQmxhY2tidXJuIChSb3NraWxkZSBVbml2ZXJzaXR5KQpQYXRyaWNpYSBC bGFuY2hldHRlICAoVW5pdmVyc2l0eSBvZiBOb3RyZSBEYW1lLCBVUykKVGhpZXJyeSBDb3F1YW5k IChVbml2ZXJzaXR5IG9mIEdvdGhlbmJ1cmcpCkFsaSBFbmF5YXQgKFVuaXZlcnNpdHkgb2YgR290 aGVuYnVyZykKw5h5c3RlaW4gTGlubmVibyAoVW5pdmVyc2l0eSBvZiBPc2xvIGFuZCBCaXJrYmVj ayBDb2xsZWdlIExvbmRvbikKS2Vya2tvIEx1b3N0byAoVW5pdmVyc2l0eSBvZiBUYW1wZXJlKQpE YWcgTm9ybWFubiAoVW5pdmVyc2l0eSBvZiBPc2xvKQpHYWJyaWVsIFNhbmR1IChVbml2ZXJzaXR5 IG9mIEhlbHNpbmtpKQpBcmlsZCBXYWFsZXIgKFVuaXZlcnNpdHkgb2YgT3NsbykKRGFnIFdlc3Rl cnN0w6VobCAoVW5pdmVyc2l0eSBvZiBTdG9ja2hvbG0pCgoKT1JHQU5JU0lORyBDT01NSVRURUUK Q2hhaXI6IExhdXJpIEhlbGxhICAoVW5pdmVyc2l0eSBvZiBUYW1wZXJlKQoKTWVtYmVyczoKS2Vy a2tvIEx1b3N0byAoVW5pdmVyc2l0eSBvZiBUYW1wZXJlKQpBbnR0aSBLdXVzaXN0byAoVW5pdmVy c2l0eSBvZiBXcm9jbGF3KQpKb25uaSBWaXJ0ZW1hIChVbml2ZXJzaXR5IG9mIFRhbXBlcmUpCkpl dmdlbmkgSGFpZ29yYSAoVW5pdmVyc2l0eSBvZiBUYW1wZXJlKQoKClNVQk1JU1NJT05TCkFic3Ry YWN0cyBvZiBjb250cmlidXRlZCB0YWxrcywgaW4gUERGIGZvcm1hdCwgbm90IGV4Y2VlZGluZyBv bmUgQTQKKDExcHQpIHBhZ2UsIHNob3VsZCBiZSBzdWJtaXR0ZWQgYnkgIEFwcmlsIDI1LCAyMDE0 LCB0aHJvdWdoCkVhc3lDaGFpcjogaHR0cHM6Ly93d3cuZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNl cy8/Y29uZj1zbHMyMDE0CkFic3RyYWN0cyBzaG91bGQgYmUgdHlwZXNldCBmb2xsb3dpbmcgdGhl IGZvcm1hdCBvZiBhIExhVGVYIHN0eWxlCmZpbGUgdGhhdCB3aWxsIGJlIHBvc3RlZCBzb29uIG9u IHRoZSBjb25mZXJlbmNlIHdlYnNpdGUuCgoKSU1QT1JUQU5UIERBVEVTOgpTdWJtaXNzaW9uIGRl YWRsaW5lOiBBcHJpbCAyNSwgMjAxNApOb3RpZmljYXRpb246IE1heSAxNiwgMjAxNApGaW5hbCBw cm9ncmFtbWU6IEp1bHkgMjUsIDIwMTQKCkxPQ0FUSU9OClVuaXZlcnNpdHkgb2YgVGFtcGVyZSAo VVRBKSBpcyBzaXR1YXRlZCBjbG9zZSB0byB0aGUgY2VudGVyIG9mIFRhbXBlcmUKd2l0aGluIGEg dGVuIG1pbnV0ZXMgd2FsayBmcm9tIHRoZSByYWlsd2F5IHN0YXRpb24uCgpBQ0NPTU1PREFUSU9O ClRoZXJlIGFyZSBzZXZlcmFsIGhvdGVscyB3aXRoaW4gYSB3YWxraW5nIGRpc3RhbmNlIGZyb20g dGhlIGNvbmZlcmVuY2UKdmVudWUuIFRoZSBvcmdhbml6ZXJzIHdpbGwgcHJvdmlkZSBhIGxpc3Qg b2Ygc29tZSBhbHRlcm5hdGl2ZXMgb24gdGhlCmNvbmZlcmVuY2Ugd2Vic2l0ZS4KClJFR0lTVFJB VElPTgpEZXRhaWxzIGNvbmNlcm5pbmcgcmVnaXN0cmF0aW9uIHdpbGwgYmUgcG9zdGVkIHdpdGgg dGhlIG5leHQgYW5ub3VuY2VtZW50LgoKRU5RVUlSSUVTOiBXcml0ZSBlbWFpbCB0byBzY2FuZGlu YXZpYW5sb2dpY3N5bXBvc2l1bUBnbWFpbC5jb20KCgoKCl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fCkZPTSBtYWlsaW5nIGxpc3QKRk9NQGNzLm55dS5lZHUK aHR0cDovL3d3dy5jcy5ueXUuZWR1L21haWxtYW4vbGlzdGluZm8vZm9tCg==