SciELO - Scientific Electronic Library Online

 
vol.19 número1Estimación de modelos de equilibrio general en economías dinámicas por métodos de Monte Carlo y Cadenas de Markov índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay articulos similaresSimilares en SciELO

Compartir


Revista de Matemática Teoría y Aplicaciones

versión impresa ISSN 1409-2433

Rev. Mat vol.19 no.1 San José ene. 2012

 

Objetos k-finitos decidibles y cardinales finitos en un topos abitrario

K-finite decidable objcts and finite cardinals in an arbitrary topos


Osvaldo Acuña Ortega*+

*Dirección para correspondencia


Resumen

Probamos en un topo arbitrario que la clase de los objetos Kfinitos 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 X1 es tal que tiene una sección 1X.

Palabras clave: Teoría de topos, objetos K-finitos, objetos decidibles.

Abstract

In an elemetary topos ", 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 X1 is epic, then 1X is split epic.

Keywords: Topoi, K-finite objects, decidable objects.

Mathematics Subject Classification: 03G30, 18B25.



Ver contenido disponible en pdf



Referencias


1 Acuña-Ortega, O. (1986) “An exact coexact characterization of the finite cardinals”, Journal of Pure and Applied Algebra 43(3): 211–233.         [ Links ]
2 Acuña-Ortega, O. (1977) Finiteness in Topoi, Ph. D. Dissertation, Wesleyan University, Middletown, CT.         [ Links ]
3 Acuña-Ortega, O. (1986)“Sobre una definición de cardinales funitos en un topos arbitrario”, Revista Colombiana de Matemáticas 20(3–4):         [ Links ]
4 Acuña-Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes in Mathematics 753, SpringerVerlag, New York: 80–100.         [ Links ]
5 Benabou, J. (s.f.) “Definability, finiteness, projectivity and choice”, (preliminary version), to appear.         [ Links ]

*Correspondencia a: Osvaldo Acuña Ortega. Escuela de Matemática, Universidad de Costa Rica, San José, Costa Rica.

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


Received: 8-Feb-2011; Revised: 7-Nov-2011; Accepted: 30-Nov-2011


 

Creative Commons License Todo el contenido de esta revista, excepto dónde está identificado, está bajo una Licencia Creative Commons