Pages that link to "Item:Q1105598"
From MaRDI portal
The following pages link to Stone duality for first order logic (Q1105598):
Displaying 24 items.
- A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Descent and duality (Q1345009) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Definable categories (Q1689577) (← links)
- Avoiding the axiom of choice in general category theory (Q1917386) (← links)
- First-order logical duality (Q1935870) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Generalized Płonka sums and products (Q2254602) (← links)
- Locale morphisms with exact direct image functor in sheaves (Q2570177) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Duality and definability in first order logic (Q3137743) (← links)
- Topological representation of geometric theories (Q3144866) (← links)
- Imaginary modules (Q4032653) (← links)
- Definability and descent (Q4212908) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- Hopf algebras and linear logic (Q4882498) (← links)
- Sheaf Representations and Duality in Logic (Q5014593) (← links)
- (Q5184905) (← links)
- Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} (Q5243125) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
