Objetos K-finitos y decidibilidad

Se estudian los conceptos de objetos k-finitos y el concepto de objeto decidible en un topos elemental. Se prueban algunos resultados sobre objetos k-finitos y objetos decidibles.  

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) 2014
Acceso en línea:	https://revistas.ucr.ac.cr/index.php/matematica/article/view/14124

id	RMTA14124
record_format	ojs
spelling	RMTA141242022-01-28T15:32:43Z K-finite objects and decidability Objetos K-finitos y decidibilidad Acuña Ortega, Osvaldo Topoi k-finite objects decidability topos objetos k-finitos decidibilidad We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.     Se estudian los conceptos de objetos k-finitos y el concepto de objeto decidible en un topos elemental. Se prueban algunos resultados sobre objetos k-finitos y objetos decidibles.   Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) 2014-04-03 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Article application/pdf https://revistas.ucr.ac.cr/index.php/matematica/article/view/14124 10.15517/rmta.v21i1.14124 Revista de Matemática: Teoría y Aplicaciones; Vol. 21 No. 1 (2014): Revista de Matemática: Teoría y Aplicaciones; 1-10 Revista de Matemática: Teoría y Aplicaciones; Vol. 21 Núm. 1 (2014): Revista de Matemática, Teoría y Aplicaciones; 1-10 Revista de Matemática; Vol. 21 N.º 1 (2014): Revista de Matemática, Teoría y Aplicaciones; 1-10 2215-3373 1409-2433 spa https://revistas.ucr.ac.cr/index.php/matematica/article/view/14124/13435 Derechos de autor 2014 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 Objetos K-finitos y decidibilidad
author_facet	Acuña Ortega, Osvaldo
author_sort	Acuña Ortega, Osvaldo
description	Se estudian los conceptos de objetos k-finitos y el concepto de objeto decidible en un topos elemental. Se prueban algunos resultados sobre objetos k-finitos y objetos decidibles.
title	Objetos K-finitos y decidibilidad
title_short	Objetos K-finitos y decidibilidad
title_full	Objetos K-finitos y decidibilidad
title_fullStr	Objetos K-finitos y decidibilidad
title_full_unstemmed	Objetos K-finitos y decidibilidad
title_sort	objetos k-finitos y decidibilidad
title_alt	K-finite objects and decidability
publisher	Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
publishDate	2014
url	https://revistas.ucr.ac.cr/index.php/matematica/article/view/14124
work_keys_str_mv	AT acunaortegaosvaldo kfiniteobjectsanddecidability AT acunaortegaosvaldo objetoskfinitosydecidibilidad
_version_	1811744078029651968

Objetos K-finitos y decidibilidad

Ejemplares similares