Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental

Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Acuña Ortega, Osvaldo
Formato: Online
Idioma:spa
Publicado: Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) 2019
Acceso en línea:https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391
id RMTA39391
record_format ojs
spelling RMTA393912022-01-21T18:39:01Z Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental Acuña Ortega, Osvaldo Topoi finiteness choice Teoría de topos finitud axioma de elección 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). 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. Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) 2019-10-22 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Article application/pdf https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391 10.15517/rmta.v15i2.39391 Revista de Matemática: Teoría y Aplicaciones; Vol. 15 No. 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107 Revista de Matemática: Teoría y Aplicaciones; Vol. 15 Núm. 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107 Revista de Matemática; Vol. 15 N.º 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107 2215-3373 1409-2433 spa https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391/40063 Derechos de autor 2008 Revista de Matemática: Teoría y Aplicaciones
institution Universidad de Costa Rica
collection Revista de Matemática: Teoría y Aplicaciones
language spa
format Online
author Acuña Ortega, Osvaldo
spellingShingle Acuña Ortega, Osvaldo
Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
author_facet Acuña Ortega, Osvaldo
author_sort Acuña Ortega, Osvaldo
description 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.
title Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_short Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_full Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_fullStr Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_full_unstemmed Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_sort algunas consideraciones sobre un teorema de benabou de booleanidad de un topos elemental
title_alt Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
publisher Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
publishDate 2019
url https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391
work_keys_str_mv AT acunaortegaosvaldo algunasconsideracionessobreunteoremadebenaboudebooleanidaddeuntoposelemental
_version_ 1811744108199280640

Ejemplares similares