Pages that link to "Item:Q1118588"
From MaRDI portal
The following pages link to Strong conceptual completeness for first-order logic (Q1118588):
Displayed 6 items.
- 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)
- Quasi-coproducts and accessible categories with wide pullbacks (Q2563764) (← links)
- Syntactic characterizations of various classes of locally presentable categories (Q5939609) (← links)