Search
Now showing items 1-1 of 1
A note on $k$-finite objects in a boolean topos with the natural numbers object
Una nota sobre objetos <img alt="k" class="tex" src="http://www.latindex.ucr.ac.cr/plugins/generic/latexRender/cache/8ce4b16b22b58894aa86c421e8759df3.png"/>-finitos en un topos booleano con el objeto de los números naturales
(2012-07-01)
We prove that every $k$-finite object in a boolean topos with nat-ural number object is internally the quotient of a natural number object.Keywords: Topoi, $k$-finite objects, natural numbers.Mathematics Subject Classification: ...