Pages that link to "Item:Q3410686"
From MaRDI portal
The following pages link to Abstract Beth definability in institutions (Q3410686):
Displaying 15 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- Saturated models in institutions (Q992038) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900829) (← links)
- Abstract categorical logic (Q6043096) (← links)