Vienti valmis — 

K-finite objects and decidability

 

Tallennettuna:
Bibliografiset tiedot
Tekijä: Acuña Ortega, Osvaldo
Aineistotyyppi: artículo original
Tila:Versión publicada
Julkaisupäivä:2014
Kuvaus:We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.    
Maa:Portal de Revistas UCR
Organisaatio:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Kieli:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/14124
Linkit:https://revistas.ucr.ac.cr/index.php/matematica/article/view/14124
Sanahaku:Topoi
k-finite objects
decidability
topos
objetos k-finitos
decidibilidad