Revista de Matemática: Teoría y Aplicaciones ISSN Impreso: 1409-2433 ISSN electrónico: 2215-3373

OAI: https://revistas.ucr.ac.cr/index.php/matematica/oai
Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
PDF

Palabras clave

Topoi
finiteness
choice
Teoría de topos
finitud
axioma de elección

Cómo citar

Acuña Ortega, O. (2019). Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental. Revista De Matemática: Teoría Y Aplicaciones, 15(2), 101–107. https://doi.org/10.15517/rmta.v15i2.39391

Resumen

En este trabajo probamos que en un topos elemental, todo objeto A tal que A + A tiene una función de elección interna, entonces todo subobjeto de A tiene complemento. También consideramos un concepto débil de función de elección y probamos que cualquier objeto K−finito decidible posee una función de elección de este tipo internamente.

https://doi.org/10.15517/rmta.v15i2.39391
PDF

Citas

Acuña-Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, Proc L.M.S. Dunham Symposium on Applications of Sheaf Theory. Lectures Notes in Mathematics 753, Springer, Berlin: 80–100.

Benabou, J. (1995) “Definability, finiteness, proyectivity and choice”, (versión preliminar). Comunicación privada.

Diaconescu, R. (1975) “Axiom of choice and complementation”, Proc. Amer. Math. Soc. 51(1): 176–178.

Comentarios

Descargas

Los datos de descargas todavía no están disponibles.