Acuña–Ortega, O. (1977) Finiteness in Topoi. Ph. D. Dissertation, Wesleyan University, Middletown, CT.
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.
Acuña–Ortega, O. (2011) “Una nota sobre objetos k-finitos en un topos Booleano con el objeto de los números naturales”, Revista de Matemática: Teoría y Aplicaciones 19(2): 239–245.
Acuña–Ortega, O. (2013) “Sobre una construcción de un monoide libre con identidad sobre un topos E con el objeto de los números naturales”, Revista de Matemática: Teoría y Aplicaciones 20(1): 79–94.
Kock, A.; Lecouturier, P.; Mikkelsen, Ch.J. (1975) “Some topos theoretic concepts of finiteness”, in: Model Theory and Topoi, Lecture Notes in Mathematics 445, Springer–Verlag, New York: 209–283.
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.
Acuña–Ortega, O. (2011) “Una nota sobre objetos k-finitos en un topos Booleano con el objeto de los números naturales”, Revista de Matemática: Teoría y Aplicaciones 19(2): 239–245.
Acuña–Ortega, O. (2013) “Sobre una construcción de un monoide libre con identidad sobre un topos E con el objeto de los números naturales”, Revista de Matemática: Teoría y Aplicaciones 20(1): 79–94.
Kock, A.; Lecouturier, P.; Mikkelsen, Ch.J. (1975) “Some topos theoretic concepts of finiteness”, in: Model Theory and Topoi, Lecture Notes in Mathematics 445, Springer–Verlag, New York: 209–283.
Licencia
Copyright
© Revista de Matemática: Teoría y Aplicaciones, 2014
Afiliaciones
Osvaldo Acuña Ortega
CIMPA & Escuela de Matemática, Universidad de Costa Rica, San José, Costa Rica
Comentarios
Objetos K-finitos y decidibilidad
Vol. 21 Núm. 1 (2014): Revista de Matemática, Teoría y Aplicaciones
Publicado: Apr 3, 2014
Resumen
Se estudian los conceptos de objetos k-finitos y el concepto de objeto decidible en un topos elemental. Se prueban algunos resultados sobre objetos k-finitos y objetos decidibles.
Palabras clave:
topos, objetos k-finitos, decidibilidad