Pages that link to "Item:Q1876090"
From MaRDI portal
The following pages link to An institution-independent proof of Craig interpolation theorem (Q1876090):
Displaying 24 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Craig interpolation for networks of sentences (Q435205) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- 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)
- Saturated models in institutions (Q992038) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Birkhoff completeness in institutions (Q1001374) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- A simple algebraic proof of the equational interpolation theorem (Q1173754) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Interpolation in logics with constructors (Q1944775) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Combinatorics of $\lambda$-terms: a natural approach (Q3133181) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- An Institution-independent Generalization of Tarski's Elementary Chain Theorem (Q3431971) (← links)
