{"id":"arxiv/2608.23398","url":"https://arxiv.org/abs/2608.23398","tags":["math.LO"],"score":0,"title":"On a slight weakening of Kripke-Platek Set Theory","domain":"math.LO","source":"arxiv","authors":["Zachiri McKenzie"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}