Minimal models of Heyting arithmetic (1997)

by IEKE MOERDIJK, ERIK PALMGREN
Venue:The Journal of Symbolic Logic