Transfer principles in nonstandard intuitionistic arithmetic. - Jeremy Avigad; Jeremy Helzner (Arch. Math. Log., 2002)