None

Resúmenes

We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.

Topos; objetos k-finitos; decidibilidad

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.

Topos; objetos k-finitos; decidibilidad

Objetos k-finitos y decidibilidad

K-finite objects and decidability

Osvaldo Acuña Ortega^**

*^{Dirección para correspondencia}^:
Abstract
We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.

Keywords: Topoi, k-finite objects, decidability.

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.

Mathematics Subject Classification: 03G30, 18B25.

Ver contenido disponible en pdf

Referencias

Referencias bibliográficas

[1] Acuña–Ortega, O. (1977) Finiteness in Topoi. Ph. D. Dissertation, Wesleyan University,Middletown, CT.
[2] Acuña–Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes inMathematics 753, Springer–Verlag, New York: 80–100.
[3] 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 Aplicaciones19(2): 239–245.
[4] Acuña–Ortega, O. (2013) “Sobre una construcción de unmonoide libre con identidad sobre un topos E con el objeto de los números naturales”, Revista de Matemática: Teoría y Aplicaciones20(1): 79–94.
[5] 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.

^*Correspondencia a:

Osvaldo Acuña Ortega

: CIMPA & Escuela de Matemática, Universidad de Costa Rica, San José,Costa Rica.

^*CIMPA & Escuela de Matemática, Universidad de Costa Rica, San José,Costa Rica.

Received: 06/Aug/2013; Revised: 25/Oct/2013; Accepted: 30/Oct/2013

Fechas de Publicación

Publicación en esta colección
30 Jul 2014
Fecha del número
Jun 2014

Histórico

Recibido
06 Ago 2013
Revisado
25 Oct 2013
Acepto
30 Oct 2013

[1] [1] Acuña–Ortega, O. (1977) Finiteness in Topoi. Ph. D. Dissertation, Wesleyan University,Middletown, CT.

[2] [2] Acuña–Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes inMathematics 753, Springer–Verlag, New York: 80–100.

[3] [3] 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 Aplicaciones19(2): 239–245.

[4] [4] Acuña–Ortega, O. (2013) “Sobre una construcción de unmonoide libre con identidad sobre un topos E con el objeto de los números naturales”, Revista de Matemática: Teoría y Aplicaciones20(1): 79–94.

[5] [5] 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.