Non-standard models in a broader perspective (2004)

by Haim Gaifman
Venue:Non-Standard Models of Arithmetic and Set Theory