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 study the strength (over bounded induction) of axioms expressing particular cases of the Chinese Remainder Theorem with respect to the axiom ∀ x, y∃ z (z = xy).

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