On collection schemes and Gaifman's splitting theorem

Taishi Kurahashi, Yoshiaki Minami

We study model theoretic characterizations of various collection schemes over ${\mathbf{PA}}^{-}$ from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that f…