The following pages link to (Q2722041):
Displayed 5 items.
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Saturated models in institutions (Q992038) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)