Hierachy of notions of finiteness [00BK]