Prove that Th(N, +, .) has uncountably many 1-types over some finite set

106 Views Asked by At

not sure how to go about answering the above question. Thanks for your help! (alternative: Prove that Th(N, +, .) has uncountably many n-types over the empty set.)

1

There are 1 best solutions below

0
On

Hint: try to find pairwise inconsistent partial types such that each of them corresponds to a subset of the prime numbers