Search
Now showing items 1-1 of 1
K-finite objects and decidability
Objetos K-finitos y decidibilidad
(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.