Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Revista de Matemática Teoría y Aplicaciones
versão impressa ISSN 1409-2433
Resumo
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.
Palavras-chave : Topoi; k-finite objects; decidability.