The following pages link to The first-order theory of the computably enumerable equivalence relations in the uncountable setting (Q5028304):
Displayed 1 item.