Computability and Models

This volume arises directly out of the activities of the INTAS-RFBR Research Project, which is scheduled to run from December 1999 to November 2002. Participating scientists are leading scholars in their fields, and their contributions make this book an excellent, up-to-date account of recent and in some cases as yet unpublished achievements in the field of Computability Theory and its Applications.