Around toposes Forum

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

103 Topics

292 Posts

0 Online

257 Members

Forum Icons: Forum contains no unread posts Forum contains unread posts

Topic Icons: Not Replied Replied Active Hot Sticky Unapproved Solved Private Closed