Atlas home || Conferences | Abstracts | about Atlas

Conference on Computability, Complexity and Randomness
May 19-23, 2008
Institute of Mathematical Science, Nanjing University.
Nanjing, JiangSu Province, P. R. of China

Organizers
Verónica Becher (University of Buenos Aires, Argentina), Rod Downey (Victoria University, Wellington, New Zealand), Denis Hirschfeldt (University of Chicago, USA), Jack Lutz (Iowa State University, USA), Wolfgang Merkle (Universität Heidelberg, Germany), Joseph Miller (University of Connecticut, USA), Liang Yu (Nanjing University, China)

View Abstracts
Conference Homepage

On the two quantifier theory of structure of Turing degrees below the Halting Problem.
by
Antonio Montalban
University of Chicago
Coauthors: Rod Downey, Noam Greenberg and Andy Lewis

We look at the problem of whether the EA-Theory of the upper-semi-lattice of Turing degree below the zero jump is decidable or not. We show some partial results and pose ideas and question about how to solve the problem.

PDF

Date received: February 29, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawo-09.