selected publications article On finite approximations of topological algebraic systems. Journal of Symbolic Logic. 72:1-25. 2007-01-01