scientific article; zbMATH DE number 3825757

zbMATH Open0522.03006MaRDI QIDQ3671937FDOQ3671937

Authors: Michael Makkai 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

toposequivalence of categoriesStone dualityfirst order logicfirst order theorysmall categorytwo-categoriespretoposGoedel completeness theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Cited In (4)

• Strong conceptual completeness for first-order logic
• A universal recursive function on admissible sets
• Continuous families of coalgebras
• Stone duality for first order logic

This page was built for publication:

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