13
Structure of L
k
1
w
•
Corollary
Every formula in L
k
1
w
is equivalent to:
Ç
i
2
N
f
i
where
f
0
,
f
1
, …
2
FO
k
•
•
Comments on loose Generic Machines in class