Resumo

ACUNA ORTEGA, Osvaldo. A note on k-finite objects in a Boolean topos with the natural numbers object. Rev. Mat [online]. 2012, vol.19, n.2, pp.239-245. ISSN 1409-2433.

We prove that every k-finite object in a boolean topos with natural number object is internally the quotient of a natural number object.

Palavras-chave : Topoi; K-finite objects; natural numbers.

        · resumo em Espanhol     · texto em Espanhol     · Espanhol ( pdf )