Objetos K-finitos y decidibilidad

• 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. 21, Nº. 1, 2014, págs. 1-10
• Idioma: español
• Títulos paralelos:
  • K-finite objects and decidability
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Se estudian los conceptos de objetos k-finitos y el concepto de objeto decidible en un topos elemental. Se prueban algunos resultados sobre objetos k-finitos y objetos decidibles. 

  • English

    We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.