SciELO - Scientific Electronic Library Online

 
vol.19 número1Estimation of general equilibium model in dynamic economies using Markov Chain Monte Carlo methods índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Journal

Artigo

Indicadores

Links relacionados

  • Não possue artigos similaresSimilares em SciELO

Compartilhar


Revista de Matemática Teoría y Aplicaciones

versão impressa ISSN 1409-2433

Rev. Mat vol.19 no.1 San José Jan. 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 o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons