Pages that link to "Item:Q5905252"
From MaRDI portal
The following pages link to INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I (Q5905252):
Displayed 8 items.
- Equational partiality (Q585250) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- A foundation for conceptual data structures by cylindric and partial algebras (Q1094154) (← links)
- Elementary classes in the injective subcategories approach to abstract model theory (Q1094414) (← links)
- Epis need not be dense (Q1170271) (← links)
- Some Results on Locally Finitely Presentable Categories (Q4723928) (← links)