Notifications
Clear all
DavidMRoberts
Group: Registered
Joined: 2020-11-24
New Member
@matteocapucci good point. But I'm not just de-Skolemizing, ... In forum From categories to toposes |
2 years ago | |
@jwrigley I'm not assuming that the categories of models are... In forum From categories to toposes |
2 years ago | |
Models of 'simpler' theories in the internal higher-order lo... In forum From categories to toposes |
2 years ago | |
G'day In forum Welcome introductions |
2 years ago |