15
A Property
•
Theorem
The following are equivalent
•
A, B agree on all FO
k
sentences
•
A, B agree on all L
k
1
,
w
sentences