12 Mar
1994
12 Mar
'94
12:43 p.m.
Has anyone proved that the elementary topos axioms are complete for the first-order properties (in the language of categories) of Grothendieck toposes? --Todd Wilson
12 Mar
12 Mar
11:21 p.m.
The first-order properties of a Grothendieck topos include all of first-order arithmetic, hence there can not be a complete axiomization.
11912
Age (days ago)
11912
Last active (days ago)
1 comments
2 participants
participants (2)
-
Peter Freyd -
Todd Wilson