Results of formal local cohomology modules

Let (R,m) be a commutative Noetherian local ring, a an ideal of R, and M a finitely generated R-module. We show that for a non-negative integer t the following cases are equivalent: The formal local cohomology modules lim??nHim(M/anM) are Artinian for all i < t; a? Rad(Ann(lim??nHim(M/anM))) for all i < t. If one of the above cases holds, then lim??nHtm(M/anM)/alim??nHtm(M/anM) is Artinian. Also, there are some results concerning finiteness properties of formal local cohomology modules.