Finiteness based results in BL-algebras