DavidMRoberts
New Member
Joined: Nov 24, 2020
Last seen: Jun 28, 2021
Last seen: Jun 28, 2021
Follow
RE: Models of 'simpler' theories in the internal higher-order logic of a topos
@matteocapucci good point. But I'm not just de-Skolemizing, but asking for unique existence. I guess there might be a setting where even a functional,...
3 years ago
RE: Models of 'simpler' theories in the internal higher-order logic of a topos
@jwrigley I'm not assuming that the categories of models are equivalent, but am asking if that is the case. Or if anything similar can be shown/is kno...
3 years ago
Replies: 5
Views: 813