Re: question about categoricity

i see what you mean. i will try to make the theory more precise with a
different example, but using = since i do not know how to do it without
it, i am hoping you will show me how. let our language L have Nat-many
constant symbols. let our theory be the consequences of the infinite
set of assertions that claims for any a, b \in Nat (where a != b),
\neg\equiv c_a c_b (i.e. it's not the case that c_a and c_b are
identical). then this seems to not be Nat-categorical but i am not
sure why; does Chris's trick work in this case?

.

Relevant Pages