On a slight weakening of Kripke-Platek Set Theory

Abstract: The weak set theory $\mathsf{ReR}$ is obtained from Kripke-Platek Set Theory ($\mathsf{KP}$) by replacing the bounded collection scheme with the bounded replacement scheme. We show that $\mathsf{ReR}$ proves $\mathsf{TCo}$, which asserts that every set is contained in a transitive set. This is used to show that the theories obtained by adding the negation of the axiom of infinity to $\mathsf{ReR}$ and $\mathsf{KP}$ have the same consequences. Our proof of $\mathsf{TCo}$ relies on the availability of a fragment of class foundation in $\mathsf{ReR}$. To demonstrate the necessity of this reliance, even in the presence of infinity, we build a model of a significant fragment of $\mathsf{ZF}$ that includes bounded separation and collection, infinity, powerset, regularity and the axiom of choice, in which $\mathsf{TCo}$ fails.