# Does ZF minus infinity imply collection?

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.

• What is "the axiom of Transitive Containment"? Dec 12, 2020 at 23:07
• What is the axiom scheme of Collection? Is it provable in ZF?
– bof
Dec 12, 2020 at 23:13
• Perhaps see Kaye, Richard; Wong, Tin Lok. On Interpretations of Arithmetic and Set Theory. Notre Dame J. Formal Logic 48 (2007). projecteuclid.org/euclid.ndjfl/1193667707
– jeq
Dec 12, 2020 at 23:20
• Dec 12, 2020 at 23:26
• Welcome to MathOverflow, Paul! Dec 13, 2020 at 10:19

ZF - Inf does imply Collection. Fix a set $$X$$ and a property $$P$$ (which can be formalized in terms of a formula and a parameter). Since we have separation, we may assume for all $$x \in X,$$ there is $$y$$ such that $$P(x,y).$$ Suppose $$X$$ is finite, with cardinality $$n.$$ A standard inductive argument shows there is a set $$Y$$ such that for all $$x \in X,$$ there is $$y \in Y$$ satisfying $$P(x,y).$$
Now suppose $$X$$ is infinite. Then $$\omega$$ exists, by replacing every element of $$\mathcal{P}_{\text{fin}}(X)$$ with its cardinality. Thus ZF holds, and this instance of Collection is justified by the standard argument.