Philipp Rothmaler Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules. 32-46 1984 49 J. Symb. Log. 1 db/journals/jsyml/jsyml49.html#Rothmaler84