•The number of FOk types is
infinite (since no restriction on quantifier
depth)
•
•Each FOk type is definable as Çi 2 I fi, where each fi 2 FOk. However:
•
•Theorem. Every FOk type t is defined in FOk. I.e. there exists ft(x) s.t.
TpFOk(A, a) = t , A ² ft(a)
•Proof: next time. For now assume it holds