  We study the analog of semi-separable integral kernels in $\mathcal{H}$ of
the type $$ K(x,x')=\begin{cases} F_1(x)G_1(x'), & a<x'< x< b, \\
F_2(x)G_2(x'), & a<x<x'<b, \end{cases} $$ where $-\infty\leq a<b\leq \infty$,
and for a.e.\ $x \in (a,b)$, $F_j (x) \in
\mathcal{B}_2(\mathcal{H}_j,\mathcal{H})$ and $G_j(x) \in
\mathcal{B}_2(\mathcal{H},\mathcal{H}_j)$ such that $F_j(\cdot)$ and
$G_j(\cdot)$ are uniformly measurable, and $$
\|F_j(\cdot)\|_{\mathcal{B}_2(\mathcal{H}_j,\mathcal{H})} \in L^2((a,b)), \;
\|G_j (\cdot)\|_{\mathcal{B}_2(\mathcal{H},\mathcal{H}_j)} \in L^2((a,b)),
\quad j=1,2, $$ with $\mathcal{H}$ and $\mathcal{H}_j$, $j=1,2$, complex,
separable Hilbert spaces. Assuming that $K(\cdot, \cdot)$ generates a
Hilbert-Schmidt operator $\mathbf{K}$ in $L^2((a,b);\mathcal{H})$, we derive
the analog of the Jost-Pais reduction theory that succeeds in proving that the
modified Fredholm determinant ${\det}_{2, L^2((a,b);\mathcal{H})}(\mathbf{I} -
\alpha \mathbf{K})$, $\alpha \in \mathbb{C}$, naturally reduces to appropriate
Fredholm determinants in the Hilbert spaces $\mathcal{H}$ (and $\mathcal{H}
\oplus \mathcal{H}$).
  Some applications to Schr\"odinger operators with operator-valued potentials
are provided.
