scientific article

zbMath0527.03042MaRDI QIDQ3043147

Michael Makkai

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coveringcategory of sheavescategory of modelsassociated coherent toposfinitary theoriesfunctors with the finite support propertygeneric p-modelprime completionprime generated toposregular sitesyntactic description

Mathematics Subject Classification ID

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

Related Items

Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Conceptual completeness for first-order intuitionistic logic: An application of categorical logic ⋮ 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 ⋮ The number of uncountable models of \(\omega\)-stable theories ⋮ An application of open maps to categorical logic