Objetos K-finitos y decidibilidad

DOI10.15517/RMTA.V21I1.14124zbMATH Open1316.03042OpenAlexW2043903154MaRDI QIDQ5262609FDOQ5262609

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)