K-finite objects and decidability
Objetos K-finitos y decidibilidad
artículo original
View/ Open
Date
2014-01-01Author
Acuña Ortega, Osvaldo
Metadata
Show full item recordAbstract
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.