Semiretículos y objetos k-finitos

DOI10.15517/rmta.v24i1.27745zbMath1401.03107OpenAlexW2580126438MaRDI QIDQ5373726

Osvaldo Acuña-Ortega

Publication date: 27 October 2017

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.v24i1.27745

zbMATH Keywords

decidabilitysemilatticetopoi\(K\)-finite objects

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Semilattices (06A12)

This page was built for publication: Semiretículos y objetos k-finitos