SciELO - Scientific Electronic Library Online

vol.19 issue2Application of a cognitive model of emotional appraisal to the board evaluation function of a program that plays chess author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand




Related links

  • Have no similar articlesSimilars in SciELO


Revista de Matemática Teoría y Aplicaciones

Print version ISSN 1409-2433


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.

Keywords : Topoi; K-finite objects; natural numbers.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )


Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License