A model for intuitionistic non-standard arithmetic (1995)

by I Moerdijk
Venue:Annals of Pure and Applied Logic 73