Pages that link to "Item:Q1118588"
From MaRDI portal
The following pages link to Strong conceptual completeness for first-order logic (Q1118588):
Displaying 14 items.
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← links)
- Stone duality for first order logic (Q1105598) (← links)
- Algebraic theories of quasivarieties (Q1273384) (← links)
- Descent and duality (Q1345009) (← links)
- An embedding theorem for regular Mal'tsev categories (Q1689583) (← links)
- General facts on the Scott adjunction (Q2139725) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- Embedding theorems for Janelidze's matrix conditions (Q2318400) (← links)
- Quasi-coproducts and accessible categories with wide pullbacks (Q2563764) (← links)
- Universal models and definability (Q3225519) (← links)
- Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} (Q5243125) (← links)
- Syntactic characterizations of various classes of locally presentable categories (Q5939609) (← links)
