David Sherman (University of Virginia, USA), Model theory for functional analysis