Definability and Computability

Contents: The course consists of two parts, each for one term. Part I gives a general introduction to computability in admissible sets, and is based on two monographs: `Admissible Sets and Structures' by J. Barwise, and `Definability and Computability' by Yu.L. Ershov. Part II contains some recent results on HF-computability.

Part I. Computability in Admissible Sets
Part II. HF-Computability