Goncharov discovered for example a class of recursively enumerable sets for which the numberings fall into exactly two classes with respect to recursive isomorphisms.
Goncearov a descoperit, de exemplu, o clasă de mulțimi recursiv enumerable pentru care numărările se încadrează în exact două clase în raport cu izomorfismele recursive.