This document is unfortunately not available for download at the moment.
2 Furthermore, it turns out that the distinction (rightly understood) is not restricted to higher-order logics.' Last but not least, it is far from clear how Henkin's notion of standard interpretation or standard model is related to logicians' idea of the standard model of such first-order theories as elementary arithmetic, in which usage "standard model" means simply "intended model"." />
pp. 21-44
This document is unfortunately not available for download at the moment.