Computability, generalized computability and its relationship with definability, especially in the framework of admissible sets and model theory

Admissible sets

Groups of computable (definable) permutations and elementary theories of classes of groups

Recursive model theory

Boolean algebras

Computability over the real numbers and computable topology

Theoretical computer science