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"." /> Standard vs. nonstandard distinction - Hintikka Jaakko | sdvig press

Standard vs. nonstandard distinction

a watershed in the foundations of mathematics

Jaakko Hintikka

pp. 21-44


This document is unfortunately not available for download at the moment.

Not implemented yet !