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.