A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Let 6 e be an elementary topos. The axiom of infinity, asserting that 5 e has a natural numbers object, is shown to be necessary-sufficiency has long been known-for the existence of an object-classifying topos over 5 e.doi:10.1007/bf01211840 fatcat:nbwueiqid5fihkge7di5iiihky