Computability Theory

  • Bibliographic Database for Computability Theory
  • Open Questions in Recursion Theory.
  • Bibliography of General Theory of Computability (maintained by Igor A. Lavrov, contains also many papers in Russian)
  • Other Useful Sites:
  • People who work (or have worked) in Computability Theory:
  • People whose work had great impact on the field:
  • Computability Theory E-mailing List
  • Research Announcements
  • Recursive Function Theory Newsletter
  • Meetings (see the Association for Symbolic Logic for ASL meetings)
  • Research Grants
  • Graduate School in Computability Theory
  • Job Announcements
    As with most web pages, this page is a continuously evolving resource. It will only develop into a useful resource for computability theorists if they help by adding information related to computability theory to the web and this page. Therefore computability theorists are encouraged to add information and links to this page. There are two ways of achieving this. The preferred method is to add the information to the web yourself and email me at Peter.Cholak.1@nd.edu the URL. If that is not possible email me at Peter.Cholak.1@nd.edu the information you desire to add to the web written in LaTeX. We no longer search the web for relevent information to add.

    This page is maintained by Peter Cholak with encouragement from Ted Slaman.

    Last modified: Mon Dec 7 13:08:25 EST 2009