%0 Journal Article
%T Una nota sobre objetos k-finitos en un topos booleano con el objeto de los n¨²meros naturales
%A Acu£¿a Ortega
%A Osvaldo
%J Revista de Matem¨¢tica Teor¨ªa y Aplicaciones
%D 2012
%I Centro de Investigaciones en Matem¨¢tica Pura y Aplicada (CIMPA)
%X we prove that every k-finite object in a boolean topos with natural number object is internally the quotient of a natural number object.
%K topoi
%K k-finite objects
%K natural numbers.
%U http://www.scielo.sa.cr/scielo.php?script=sci_abstract&pid=S1409-24332012000200008&lng=en&nrm=iso&tlng=en