K-finite objects and decidability

Objetos K-finitos y decidibilidad

dc.creator	Acuña Ortega, Osvaldo
dc.date.accessioned	2015-05-19T19:10:37Z
dc.date.available	2015-05-19T19:10:37Z
dc.date.issued	2014-01-01 00:00:00
dc.identifier.citation	http://revistas.ucr.ac.cr/index.php/matematica/article/view/14124
dc.identifier.issn
dc.identifier.uri	https://hdl.handle.net/10669/13042
dc.description.abstract	We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.
dc.description.abstract	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.
dc.format.extent	1-10
dc.relation.ispartof	Revista de Matemática: Teoría y Aplicaciones Vol. 21 Núm. 1 2014
dc.subject	topos
dc.subject	objetos k-finitos
dc.subject	decidibilidad
dc.title	K-finite objects and decidability
dc.title	Objetos K-finitos y decidibilidad
dc.type	artículo original
dc.date.updated	2015-05-19T19:10:38Z
dc.language.rfc3066	es
dc.identifier.doi	10.15517/rmta.v21i1.14124