scientific article; zbMATH DE number 3836032

MaRDI QIDQ3043147zbMATH OpenFDO

Authors Michael Makkai

Publication date 1981

zbMATH Keywords

associated coherent toposcategory of modelscategory of sheavescoveringfinitary theoriesfunctors with the finite support propertygeneric p-modelprime completionprime generated toposregular sitesyntactic description

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Cited in

(8)

• The number of uncountable models of -stable theories
• An application of open maps to categorical logic
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
• Completeness results for intuitionistic and modal logic in a categorical setting
• Amenability, definable groups, and automorphism groups
• Ultrafilters, finite coproducts and locally connected classifying toposes
• Ultrasheaves and double negation
• Generalising canonical extension to the categorical setting

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