22
The Theory T
•
Theorem
T is
w
-categorical
•
•
Proof
: let A, B be two countable model.
•
Idea: use a back-and-forth argument to find an
isomorphism f : A
!
B