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