K-finite objects and decidability

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

Autor Principal: Acuña Ortega, Osvaldo
Formato: Artículo
Idioma: Español
Publicado: 2015
Materias:
Acceso en línea: http://revistas.ucr.ac.cr/index.php/matematica/article/view/14124
http://hdl.handle.net/10669/13042
Sumario: We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.