Keith A. Kearnes Emil W. Kiss Matthew Valeriote A Geometric Consequence of Residual Smallness. 137-169 1999 99 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal99.html#KearnesKV99