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 |
Forum Statistics
10
Forum
118
Topics
311
Posts
0
Online
290
Members
Latest Post: Nhận định bóng đá Úc vs Đan Mạch 22h00 ngày 30/11. Our newest member: Jean-Seb Recent Posts Unread Posts
