BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/244
4/18-22-August-2008-Effective-Mathematics-of-the-U
ncountable-EMU-2008-New-York-U-S-A-
DTSTAMP:20080803T000000
SUMMARY:Effective Mathematics of the Uncountable (
EMU 2008), New York, U.S.A.
DTSTART;VALUE=DATE:20080818
DTEND;VALUE=DATE:20080822
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, ordi
nal computability, Blum-Shub-Smale machines, infin
ite time Turing machines and locally computable st
ructures, among others. The workshop will both pro
vide tutorial-type introductions to each approach
and aim ultimately at the exploration of their con
nections. For more information, see http://nylog
ic.org/EMU
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, ordinal computability, Blum-Shub-S
male\n machines, infinite time Turing machine
s and locally computable\n structures, among
others. The workshop will both provide\n tuto
rial-type introductions to each approach and aim u
ltimately\n at the exploration of their conne
ctions.\n

\n \n For more infor
mation, see\n http://nylogic.org/EMU\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/244
4/18-22-August-2008-Effective-Mathematics-of-the-U
ncountable-EMU-2008-New-York-U-S-A-
END:VEVENT
END:VCALENDAR