Keywords
Topoi
finiteness
choice
Teoría de topos
finitud
axioma de elección
finiteness
choice
Teoría de topos
finitud
axioma de elección
How to Cite
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
Abstract
We prove that any elementary topos any objet A such that A + A has an internal choice map, then every subobject of A has complement. We also consider a weaker concept of choice map and we prove that any K−finite decidable objet has this kind of choice map (internally).
References
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.
Comments
Downloads
Download data is not yet available.