3 ms·
Isn't it true that the only countable model of the natural numbers (including ordering) which is computable is the standard model of the naturals?
by drdeca 8y ago
Isn't it true that the only countable model of the natural numbers (including ordering) which is computable is the standard model of the naturals?