1409-2433
1409-2433
S1409-24332012000200008
Costa Rica
00
07
2012
00
07
2012
19
2
239
245
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
Osvaldo Acuña Ortega* Dirección para correspondencia Resumen 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. ]]>
Palabras clave: Teoría de topos, objetos K–finitos, números naturales.Abstract 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.Mathematics Subject Classification: 03G30, 18B25.Ver contenido disponible en pdf Referencias [1] Acuña-Ortega, O. (1977) Finiteness in Topoi , Ph. D. Dissertation, Wesleyan University, Middletown, CT. [ Links ] [2] Acuña-Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves , Lecture Notes in Mathematics 753, Springer–Verlag, New York: 80–100. [ Links ] [3] Sols, I.M. (1975) “Bon ordre dans des nombres naturels dans un topos booléan”, C.R. Acad. Sc. Paris 281 : 601–603. [ Links ]* Correspondencia a: Osvaldo Acuña Ortega. CIMPA & Escuela de Matemática, Universidad de Costa Rica, 2060 San José, Costa Rica. * CIMPA & Escuela de Matemática, Universidad de Costa Rica, 2060 San José, Costa Rica.
Received: 2 Sep 2011; Revised: 7 Nov 2011; Accepted: 10 May 2012 ]]>
[
]1
1977
[
]2
1979
753
80-100
[
]3
1975
281
601-603