In ZF with the axiom of infinity removed, is the axiom scheme of collection provable?

Note that Collection does follow from the axiom of Transitive Containment, which states that everything belongs to a transitive set. Mancini gave a model of ZF minus Infinity where Transitive Containment fails: see the end of Section 3 in

https://projecteuclid.org/euclid.ndjfl/1054837937

Mancini's model validates Collection, so this does not answer my question.

Notre Dame J. Formal Logic48 (2007). projecteuclid.org/euclid.ndjfl/1193667707 $\endgroup$ – jeq Dec 12 '20 at 23:202more comments