1 Oct
2001
1 Oct
'01
8:02 a.m.
Or, I hope this is the same question, is an elementary topos with a natural numbers object internally locally finitely presentable? Are there any references for this?