Anuj Dawar Kees Doets Steven Lindell Scott Weinstein Elementary Properties of the Finite Ranks. 349-353 1998 44 Math. Log. Q. db/journals/mlq/mlq44.html#DawarDLW98