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.  

Main Author: Acuña Ortega, Osvaldo
Format: Artículo
Language: Español
Published: 2015
Subjects:
Online Access: http://revistas.ucr.ac.cr/index.php/matematica/article/view/14124
http://hdl.handle.net/10669/13042
Summary: We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.