13
Structure of Lk1 w
•Corollary Every formula in Lk1w is equivalent to:

Çi 2 N  fi

where f0, f1, … 2 FOk
•
•Comments on loose Generic Machines in class