On the proof of Solovay's theorem. - Dick de Jongh; Marc Jumelet; Franco Montagna (Stud Logica, 1991)

Euler'sϕ-function in the context of IΔ0. - Marc Jumelet (Arch. Math. Log., 1995)