BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/281
9/17-21-August-2009-EMU-2009-Effective-Mathematics
-of-the-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 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

\n
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

\n \n For more information, see <
a class="longdescriptionlink" href="http://www.ill
c.uva.nl/NewsandEvents/newsitem/2819">here or\
n http://nylogic.org/EMU, or contact\n
Denis Hirschfeldt at drh ~~at math.uchicago.edu~~~~.\n\
n ~~

~~\n
URL:/NewsandEvents/Events/Conferences/newsitem/281
9/17-21-August-2009-EMU-2009-Effective-Mathematics
-of-the-Uncountable-New-York-U-S-A-
END:VEVENT
END:VCALENDAR
~~