K-finite objects and decidability
| 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.date.updated | 2015-05-19T19:10:38Z | |
| 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.identifier.citation | http://revistas.ucr.ac.cr/index.php/matematica/article/view/14124 | |
| dc.identifier.doi | 10.15517/rmta.v21i1.14124 | |
| dc.identifier.issn | ||
| dc.identifier.uri | https://hdl.handle.net/10669/13042 | |
| dc.language.rfc3066 | es | |
| 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 |