Ieke Moerdijk A Model for Intuitionistic Non-Standard Arithmetic. 37-51 1995 73 Ann. Pure Appl. Logic 1 db/journals/apal/apal73.html#Moerdijk95