Publication:3705457
From MaRDI portal
zbMath0582.03052MaRDI QIDQ3705457
Publication date: 1985
03G30: Categorical logic, topoi
03C40: Interpolation, preservation, definability
18B05: Categories of sets, characterizations
Related Items
Some Results on Locally Finitely Presentable Categories, Generalized sketches as a framework for completeness theorems. I-III, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, Strong conceptual completeness for first-order logic, Descent and duality, Completeness results for intuitionistic and modal logic in a categorical setting, On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic, Ultraproducts and possible worlds semantics in institutions, Unnamed Item