•Theorem [Hanf’s lemma; simplified form] Let A,
B be two structures and
there exists m > 0 s.t. 8 n · 3m and for each isomorphism type t of an
n-sphere, A
and B
have
the same number of elements of n-sphere type t. Then A
ºm B.
•
•Applications: previous examples.