finiteness properties of formal local cohomology modules

Let a be an ideal of noetherian local ring (r;m), m a finitely generated r-module. in this paper, we prove some results concerning finiteness of formal local cohomology modules. in particular, we investigate some properties of top formal local cohomology module fdimm=am a (m). among other things, we determine attr(fdimm=am a (m)), in the case that fdimm=am a (m) is an artinian r-module. also, we show that fdimm=am a (m) is an artinian r-module if and only if it is minimax.