  We investigate a few aspects of the notion of Levi core, introduced by the
authors in a previous work: a basic finiteness question, the connections with
Kohn's algorithm and with Catlin's property (P).
