It is not the case that Extensional adequacy on finite or standard models underdetermines behavior on non-standard models, where intensional structure becomes evidentially crucial.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.