Una nota sobre objetos -finitos en un topos booleano con el objeto de los números naturales

• Acuña Ortega, Osvaldo ^[1]
  1. [1] Universidad de Costa Rica

     Universidad de Costa Rica

     Hospital, Costa Rica

     
• Localización: Revista de Matemática: Teoría y Aplicaciones, ISSN 2215-3373, ISSN-e 2215-3373, Vol. 19, Nº. 2, 2012
• Idioma: español
• DOI: 10.15517/rmta.v19i2.1336
• Títulos paralelos:
  • A note on $k$-finite objects in a boolean topos with the natural numbers object
• Enlaces
  • Texto completo
• Resumen
  • español

    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.

  • English

    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.

• Referencias bibliográficas
  • 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,...
  • Sols, I.M. (1975) “Bon ordre dans des nombres naturels dans un topos booléan”, C.R. Acad. Sc. Paris 281: 601–603.