Objetos K-finitos y decidibilidad

DOI10.15517/rmta.v21i1.14124zbMath1316.03042OpenAlexW2043903154MaRDI QIDQ5262609

Osvaldo Acuña-Ortega

Publication date: 16 July 2015

Published in: Revista de Matemática: Teoría y Aplicaciones (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.15517/rmta.v21i1.14124

zbMATH Keywords

decidabilitytopoi\(k\)-finite objects

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

This page was built for publication: Objetos K-finitos y decidibilidad