• K-finite objects and decidability 

      Acuña Ortega, Osvaldo (2014-01-01)
      We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.