Buscar
Mostrando ítems 1-1 de 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.