This is a thorough study of Calvin's conception of Christian philosophy, his exposition of insights of classical philosophy, and his evaluations of classical ...

. We provide an alternative proof of a theorem of P. Clote concerning end extensions of models of $\Sigma_n$ -induction, for $n \geq 2$.