A computable N_0-categorical structure whose theory computes true arithmetic

摘要

We construct a computable N_0-categorical structure whose first order theory is computably equivalent to the true first order theory of arithmetic.