Pages that link to "Item:Q975404"
From MaRDI portal
The following pages link to A categorical study on the finiteness of specifications (Q975404):
Displaying 5 items.
- Saturated models in institutions (Q992038) (← links)
- Optionality, scope, and licensing: An application of partially ordered categories (Q1024814) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Categorical concepts for parameterized partial specifications (Q4856659) (← links)
- A Bicategorical Model for Finite Nondeterminism (Q6159925) (← links)