Zachiri McKenzie

The set-theoretic Kaufmann–Clote question

Let M be the set theory obtained from ZF by removing the collection scheme, restricting separation to Δ0-formulae and adding an axiom asserting that every set is contained in a transitive set. Let Πn-Collection denote the restriction of the collection scheme to Πn-formulae. We pr...