Objetos K-finitos y decidibilidad

DOI10.15517/RMTA.V21I1.14124MaRDI QIDQ5262609zbMATHOpenAlexFDO

Authors 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)

Cited in

(1)

• All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262609)