A note on k-finite objects in a Boolean topos with the natural numbers object

vol.19 issue2

Application of a cognitive model of emotional appraisal to the board evaluation function of a program that plays chess

author index

subject index

articles search

Home Page

alphabetic serial listing

Services on Demand

Journal

Article

Indicators

Cited by SciELO
Access statistics

Related links

Similars in SciELO

Share

Permalink

Revista de Matemática Teoría y Aplicaciones

Print version ISSN 1409-2433

Abstract

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 )

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