1 problem

Khoussainov's conjectures. (1) No nonstandard model of arithmetic admits a computable quotient presentation by a computably enumerable equivalence relation on the natural numbers.…