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.accessioned | 2019-04-25T15:53:15Z | |
dc.date.available | 2015-05-19T19:10:37Z | |
dc.date.available | 2019-04-25T15:53:15Z | |
dc.date.created | 2015-05-19T19:10:37Z | |
dc.date.issued | 2014-01-01 00:00:00 | |
dc.identifier | http://revistas.ucr.ac.cr/index.php/matematica/article/view/14124 | |
dc.identifier | ||
dc.identifier | http://hdl.handle.net/10669/13042 | |
dc.identifier | 10.15517/rmta.v21i1.14124 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/2389529 | |
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.language | es | |
dc.relation | 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ículos de revistas | |
dc.type | Artículos de revistas |