K-finite objects and decidability
Archivos
Fecha
2014-01-01 00:00:00
Tipo
artículo original
Autores
Acuña Ortega, Osvaldo
Título de la revista
ISSN de la revista
Título del volumen
Editor
Resumen
We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.
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.
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.
Descripción
Palabras clave
topos, objetos k-finitos, decidibilidad