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: (a) The formal local cohomology modules lim n Him(M=anM) are Artinian for all i < t; (b) a Rad(Ann(lim n Him (M=anM))) for all i < t. If one of the above cases holds, then lim n Htm(M=anM)=alim n Htm (M=anM) is Artinian. Also, there are some results concerning finiteness properties of formal local cohomology modules.
