%0 Journal Article
%T Una nota sobre objetos k-finitos en un topos booleano con el objeto de los n¨²meros naturales A note on k-finite objects in a Boolean topos with the natural numbers object
%A Osvaldo Acu£¿a Ortega
%J Revista de Matem¨¢tica Teor¨ªa y Aplicaciones
%D 2012
%I Centro de Investigaciones en Matem¨¢tica Pura y Aplicada (CIMPA)
%X Probamos que todo objeto k-finito en un topos booleano con el objeto de los n¨²meros naturales es internamente el cociente de alg¨²n cardinal finito. 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 Teor¨ªa de topos
%K objetos K-finitos
%K n¨²meros naturales
%K Topoi
%K K-finite objects
%K natural numbers
%U http://www.scielo.sa.cr/scielo.php?script=sci_arttext&pid=S1409-24332012000200008