•Definability of FOk types
•
•FOk types are the
same as Lk1w types [ why
?]
•
•Theorem [Dawar, Lindell, Weinstein] The type of
A (or of (A, a)) can be expressed by some f 2 FOk
• B ² f[b] iff Tpk(A,a) = Tpk(B,b)
•Difficult result: was unknown to Kolaitis&Vardi