The following pages link to (Q5311059):
Displayed 6 items.
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Saturated models in institutions (Q992038) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- System Consequence (Q5190975) (← links)