Lempp S 1
1.
The first-order theory of the computably enumerable equivalence relations in the uncountable setting
1