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.
Citas
Acuña-Ortega, O. (1977) Finiteness in Topoi, Ph. D. Dissertation, Wesleyan University, Middletown, CT.
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.
Sols, I.M. (1975) “Bon ordre dans des nombres naturels dans un topos booléan”, C.R. Acad. Sc. Paris 281: 601–603.
Comentarios
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Derechos de autor 2012 Osvaldo Acuña Ortega