Yet Another Hierarchy Theorem
Abstract.
n+1 nested k-ary fixed point operators are more
expressive than n.
This holds on finite structures for practically all fixed point logics.
preprint [PS-File] (I only have this
preprint version ready. If you want to really read this article, please
write me a mail, then I'll prepare a
more accurate version).