Algebraization of arithmetic and stronger theories?

Intuitionistic and classical propositional logic, and even classical first-order logic with identity, have algebraic counterparts. Algebraizable logics, 1989, by Willem J. Blok and Don Pigozzi, is a classical reference.

Is more now known about whether stronger systems are algebraizable?