Buscar
Mostrando ítems 1-10 de 89
Objetos k-finitos decidibles y cardinales finitos en un topos abitrario
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2012)
K-finite objects and decidabilityObjetos 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.
K-finite objects and decidabilityObjetos 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.
Una nota sobre objetos k-finitos en un topos booleano con el objeto de los números naturales
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2012)
Objetos k-finitos y decidibilidad
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2014)
K-finite objects and decidabilityObjetos K-finitos y decidibilidad
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2014)
Emiretículos y objetos k-finitos
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2017)
K-finite decidable objects and finite cardinals in an arbitrary toposObjetos K-finitos decidibles y cardinales finitos en un topos arbitrario
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2012)
Semilattices and K-finite objectsSemiretículos y objetos k-finitos
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2017)
K-finite decidable objects and finite cardinals in an arbitrary toposObjetos K-finitos decidibles y cardinales finitos en un topos arbitrario
(2012-03-08)
In an elemetary topos $\varepsilo$, we prove that the class of K-finite decidable objects is the same to the class of finite cardinals in E if and only if every K-finite decidable object X such that $X \longrightarrow 1$ ...