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