Coding lemmata in L

Under the assumption that there exists an elementary embedding(henceforth abbreviated as and in particular under we prove a Coding Lemma for and find certain versions of it which are equivalent to strong regularity of cardinals below . We also prove that a stronger version of the Coding Lemma holds for a stationary set of ordinals below .Mathematics Subject Classification (2000):03E55