Acuña-Ortega, O. (1986) “An exact coexact characterization of the finite cardinals”, Journal of Pure and Applied Algebra 43(3): 211–233.
Acuña-Ortega, O. (1977) Finiteness in Topoi, Ph. D. Dissertation, Wesleyan University, Middletown, CT.
Acuña-Ortega, O. (1986) “Sobre una definición de cardinales funitos en un topos arbitrario”, Revista Colombiana de Matemáticas 20(3–4):
Acuña-Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes in Mathematics 753, Springer–Verlag, New York: 80–100.
Benabou, J. (s.f.) “Definability, finiteness, projectivity and choice”, (preliminary version), to appear.
Acuña-Ortega, O. (1977) Finiteness in Topoi, Ph. D. Dissertation, Wesleyan University, Middletown, CT.
Acuña-Ortega, O. (1986) “Sobre una definición de cardinales funitos en un topos arbitrario”, Revista Colombiana de Matemáticas 20(3–4):
Acuña-Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes in Mathematics 753, Springer–Verlag, New York: 80–100.
Benabou, J. (s.f.) “Definability, finiteness, projectivity and choice”, (preliminary version), to appear.
Licencia
Copyright
© Revista de Matemática: Teoría y Aplicaciones, 2012
Afiliaciones
Osvaldo Acuña Ortega
Escuela de Matemática, Universidad de Costa Rica, San José, Costa Rica
Cómo citar
Acuña Ortega, O. (2012). Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario. Revista De Matemática: Teoría Y Aplicaciones, 19(1), 1-6. https://doi.org/10.15517/rmta.v19i1.2101
Comentarios
Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
Vol. 19 Núm. 1 (2012): Revista de Matemática: Teoría y Aplicaciones
Publicado: Feb 1, 2012
Resumen
Probamos en un topo arbitrario que la clase de los objetos K-finitos decidibles es igual a la clase de los cardinales finitos de E si y solo si todo X K-finito decidible tal que X → 1 un epimorfismo si y solo si X → 1 es tal que tiene una sección 1→ X .
Palabras clave:
Teoría de topos, objetos K-finitos, objetos decidibles