Primitive Recursive Fields and Categoricity