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
| dc.creator | Acuña Ortega, Osvaldo | |
| dc.date.accessioned | 2015-05-19T19:05:24Z | |
| dc.date.available | 2015-05-19T19:05:24Z | |
| dc.date.issued | 2012-07-01 00:00:00 | |
| dc.identifier.citation | http://revistas.ucr.ac.cr/index.php/matematica/article/view/1336 | |
| dc.identifier.issn | ||
| dc.identifier.uri | https://hdl.handle.net/10669/13020 | |
| dc.description.abstract | 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: 03G30, 18B25. | |
| dc.description.abstract | Probamos que todo objeto -finito en un topos booleano con el objeto de los números naturales es internamente el cociente de algún cardinal finito.Palabras clave: teoría de topos, objetos -finitos, números naturales.Mathematics Subject Classification: 03G30, 18B25. | |
| dc.format.extent | 239-245 | |
| dc.relation.ispartof | Revista de Matemática: Teoría y Aplicaciones Vol. 19 Núm. 2 2012 | |
| dc.title | A note on $k$-finite objects in a boolean topos with the natural numbers object | |
| dc.title | 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 | |
| dc.type | artículo original | |
| dc.date.updated | 2015-05-19T19:05:24Z | |
| dc.language.rfc3066 | es | |
| dc.identifier.doi | 10.15517/rmta.v19i2.1336 |
