8
The Proofs
•
EF
•
Lemma
1.
Let A, B
agree on all sentences
in FO[k].
Then there
exists a family J
k
with
the B&F property
•
•
Proof in class
•
Pebble games
•
Lemma
1. Let A, B
agree on all sentences
in L
k
1
,
w
of qr <
a
.
Then there exists a
family J
a
with the
B&F property
•
•
Proof in class