The following pages link to (Q3705457):
Displaying 22 items.
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Formulas and ultraproducts in categories (Q787978) (← links)
- Stone duality for first order logic (Q1105598) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Descent and duality (Q1345009) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- The Kechris-Pestov-Todorčević correspondence from the point of view of category theory (Q2035865) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- More on orthogonality in locally presentable categories (Q2719722) (← links)
- Annotated logics \(Q\tau\) and ultraproducts (Q2735849) (← links)
- Duality and definability in first order logic (Q3137743) (← links)
- Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention (Q3457684) (← links)
- Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics (Q4566146) (← links)
- Some Results on Locally Finitely Presentable Categories (Q4723928) (← links)
- A property of effectivization and its uses in categorical logic (Q4975426) (← links)
- A characterisation of the category of compact Hausdorff spaces (Q5137920) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Filtral pretoposes and compact Hausdorff locales (Q6634617) (← links)
