On the relative strengths of fragments of collection

Zachiri McKenzie

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, ${\Delta }_0$-separation and set…