K-finite objects and decidability

 

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur: Acuña Ortega, Osvaldo
Fformat: artículo original
Statws:Versión publicada
Dyddiad Cyhoeddi:2014
Disgrifiad:We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.    
Gwlad:Portal de Revistas UCR
Sefydliad:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Iaith:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/14124
Mynediad Ar-lein:https://revistas.ucr.ac.cr/index.php/matematica/article/view/14124
Allweddair:Topoi
k-finite objects
decidability
topos
objetos k-finitos
decidibilidad