1 Oct
2001
1 Oct
'01
6:02 p.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?