Pages that link to "Item:Q1876090"
From MaRDI portal
The following pages link to An institution-independent proof of Craig interpolation theorem (Q1876090):
Displayed 8 items.
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)