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. Emiretículos y objetos k-finitos. Rev. Mat [online]. 2017, vol.24, n.1, pp.1-7. ISSN 1409-2433. http://dx.doi.org/10.15517/rmta.v24i1.27745.
Se prueba que si X es un objeto de un topos elemental entonces las propiedades siguientes son equivalentes: (a) X es K−finito, (b) para todo semiretículo con uniones binarias B, la diagonal B →BX tiene un adjunto izquierdo.
Palabras clave : topos; objetos k-finitos; semiretículos; decidibilidad.