18
Applications
•
For every structure A there exists a sentence
f
A
in FO
k
s.t.
8
B:
B
²
f
A
iff
A
º
1
w
k
B
•
•
Every L
k
1
,
w
formula is equivalent to
Ç
i
2
I
f
i
, where each
f
i
2
FO
k
•