Does Sigma(n)-KP with Sigma(n)-replacement instead of Sigma(n)-collection have Sigma(n)-collection as a theorem?



Another question on collection and replacement in Sigma(n)-KP
In your comment, you linked to my paper [V. Gitman, J. D. Hamkins, T. A. Johnstone, What is the theory ZFC without power set?](http://jdh.hamkins.org/what-is-the-theory-zfc-without-power-set/) (see it also [at the arXiv](http://arxiv.org/pdf/1110.2430v1.pdf)). And although your theories are much weaker, in fact the main result of that paper does answer this question. 


The paper shows that even if you have $\text{ZFC}-\text{P}$, axiomatized using $\Sigma\_n$-replacement for every $n$--and this includes your desired theory $\text{KP}+\Sigma\_n$-replacement--you still cannot prove collection, and it seems to me that the counterexample models show that you cannot prove even $\Pi\_1$-collection, which is essentially equivalent to $\Sigma\_2$-collection (by [my answer to your question on $\Sigma\_n$ admissible ordinals yesterday](https://mathoverflow.net/a/137213/1946)). 


Thus, for $n\geq 2$, one cannot prove $\Sigma\_n$-collection from $\text{KP}+\Sigma\_n$-replacement, nor even from the much stronger theory $\text{ZFC}-\text{P}$, axiomatized via the replacement axiom. 


The main idea is that there are highly homogeneous models of these theories, which satisfy the replacement axiom only because it is seldom the case except in comparatively trivial cases to have *unique* witnesses for a property, making this axiom less powerful than you might think. And with the power set axiom, one cannot build the von Neumann hierarchy in order to form a collecting set of the form $V\_\alpha$, which is how one proves that replacement implies collection in ZFC.


But meanwhile, it appears that if one adds $V=L$ to the theory, or considers models of your theory only of the form $L\_\alpha$, then indeed you will deduce $\Sigma\_n$-collection, since you can use the $L$-hierarchy for collecton instead of the von Neumann hierarchy. That is, if you only care about identifying ordinals $\alpha$ for which $L\_\alpha$ satisfies $\text{KP}+\Sigma\_n$-collection, then it suffices that they satisfy $\text{KP}+\Sigma\_n$-replacement.


