BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2009/newsitem/2819/17-
 21-August-2009-EMU-2009-Effective-Mathematics-of-t
 he-Uncountable-New-York-U-S-A-
DTSTAMP:20090405T000000
SUMMARY:EMU 2009: Effective Mathematics of the Unc
 ountable, New York, U.S.A.
DTSTART;VALUE=DATE:20090817
DTEND;VALUE=DATE:20090821
LOCATION:New York, U.S.A.
DESCRIPTION:Although classical computable model th
 eory is most naturally concerned with countable do
 mains, several methods---some old, some new---exte
 nd its basic concepts to uncountable structures. T
 he purpose of this workshop is to study these vari
 ous extensions of effectivity to the uncountable, 
 bringing together experts in such topics as sigma-
 definable structures, alpha-recursion theory, E-re
 cursion thoery, ordinal computability, Blum-Shub-S
 male machines, infinite time Turing machines and l
 ocally computable structures, among others.   This
  workshop is the second of its kind, after the ina
 ugural EMU in 2008. In the 2009 workshop we plan t
 o provide tutorial-type introductions to models of
  computation which were not discussed last year, a
 s well as discuss progress made since last year. A
  particular theme we plan to focus on is the role 
 of a computable well-ordering of the universe of a
  structure. We will contrast the approaches which 
 allow such an ordering with those which forbid it.
  We expect this will have methodological repercuss
 ions for the study of effective model theory on co
 untable structures as well.   For more information
 , see here or http://nylogic.org/EMU, or contact D
 enis Hirschfeldt at drh at math.uchicago.edu.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Although c
 lassical computable model theory is most naturally
 \n      concerned with countable domains, several 
 methods---some old,\n      some new---extend its b
 asic concepts to uncountable\n      structures. Th
 e purpose of this workshop is to study these\n    
   various extensions of effectivity to the uncount
 able, bringing\n      together experts in such top
 ics as sigma-definable structures,\n      alpha-re
 cursion theory, E-recursion thoery, ordinal\n     
  computability, Blum-Shub-Smale machines, infinite
  time Turing\n      machines and locally computabl
 e structures, among others.\n      </p>\n      <p>
 This workshop is the second of its kind, after the
  inaugural\n      EMU in 2008. In the 2009 worksho
 p we plan to provide\n      tutorial-type introduc
 tions to models of computation which were\n      n
 ot discussed last year, as well as discuss progres
 s made since\n      last year. A particular theme 
 we plan to focus on is the role of\n      a comput
 able well-ordering of the universe of a structure.
  We\n      will contrast the approaches which allo
 w such an ordering with\n      those which forbid 
 it. We expect this will have methodological\n     
  repercussions for the study of effective model th
 eory on\n      countable structures as well.\n    
   </p>\n    \n      <p>For more information, see <
 a class="longdescriptionlink" href="https://www.il
 lc.uva.nl/NewsandEvents/newsitem/2819">here</a> or
 \n        <a target="_blank" href="http://nylogic.
 org/EMU">http://nylogic.org/EMU</a>, or contact\n 
        Denis Hirschfeldt at <a class="email">drh <
 span class="at">at</span> math.uchicago.edu</a>.\n
 \n      </p>\n    
URL:/NewsandEvents/Archives/2009/newsitem/2819/17-
 21-August-2009-EMU-2009-Effective-Mathematics-of-t
 he-Uncountable-New-York-U-S-A-
END:VEVENT
END:VCALENDAR