Logic List Mailing Archive

EMU 2009: Effective Mathematics of the Uncountable, New York NY

17-21 Aug 2009

Effective Mathematics of the Uncountable (EMU 2009)
August 17-21, 2009
The CUNY Graduate Center
365 Fifth Avenue, New York City
http://nylogic.org/EMU/August2009

Although classical computable model theory is most naturally concerned
with countable domains, several methods---some old, some new---extend
its basic concepts to uncountable structures. The purpose of this
workshop is to study these various extensions of effectivity to the
uncountable, bringing together experts in such topics as
sigma-definable structures, alpha-recursion theory, E-recursion
theory, ordinal computability, Blum-Shub-Smale machines, infinite time
Turing machines and locally computable structures, among others.

This workshop is the second of its kind, after the inaugural EMU in
2008. In the 2009 workshop we plan to provide tutorial-type
introductions to models of computation which were not discussed last
year, as 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 repercussions for the study of effective model
theory on countable structures as well.

Organizers:

Noam Greenberg, Noam.Greenberg@mcs.vuw.ac.nz
Joel Hamkins, jdh@hamkins.org
Denis Hirschfeldt, drh@math.uchicago.edu
Russell Miller, Russell.Miller@qc.cuny.edu

This EMU workshop is funded by a generous grant from the Templeton
Foundation, a part of their program Exploring the Infinite, Phase I:
Mathematics and Mathematical Logic.

All interested participants are welcome to attend the workshop. There
is no registration fee. Limited funds are available to support
graduate student and junior faculty participants. Please contact Denis
Hirschfeldt or the other organizers about travel funding.