12 Mar
1994
12 Mar
'94
10: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
13 Mar
13 Mar
9:21 a.m.
The first-order properties of a Grothendieck topos include all of first-order arithmetic, hence there can not be a complete axiomization.
11769
Age (days ago)
11769
Last active (days ago)
1 comments
2 participants
participants (2)
-
Peter Freyd -
Todd Wilson