Sanjay Jain Jochen Nessel Some Independence Results for Control Structures in Complete Numberings. 357-382 2001 66 J. Symb. Log. 1 db/journals/jsyml/jsyml66.html#JainN01