Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Revista de Matemática Teoría y Aplicaciones
versión impresa ISSN 1409-2433
Resumen
ACUNA ORTEGA, Osvaldo. K-finite objects and decidability. Rev. Mat [online]. 2014, vol.21, n.1, pp.1-10. ISSN 1409-2433.
We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.
Palabras clave : Topoi; k-finite objects; decidability.