1. Ivan Soskov: A Life in Computability;The Incomputable;2017
2. Preserving Categoricity and Complexity of Relations;Algebra and Logic;2015-05
3. Π11 relations and paths through;Journal of Symbolic Logic;2004-06
4. Chapter 1 Pure computable model theory;Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory;1998
5. Computability and Computable Models;Mathematical Problems from Applied Logic II