23
The Theory T
Theorem
T is
w
-categorical
Proof
:
(contd)
A = {a
1
, a
2
, a
3
, .}
B = {b
1
, b
2
, b
3
, .}
Build partial isomorphisms f
1
΅
f
2
΅
f
3
΅
such that:
8
n.
9
m. a
n
2
dom(f
m
)
and
8
n.
9
m. b
n
2
rng(f
m
)
[in class]
Then f = (
[
m
Έ
1
f
m
) : A
!
B is an isomorphism