Abbreviation of "recursively enumerable"; the class of decision problems for which a 'yes' answer can be verified by a Turing machine in a finite amount of time.
on the basis of
prep
because of
How often have the words RE and on the basis of occurred in a corpus of books? (source: Google Ngram Viewer )