Palabras clave
Topoi
finiteness
choice
Teoría de topos
finitud
axioma de elección
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.
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.