Kreisel and Barwise demonstrated that compactness and interpolation properties diverge across the an...