The following pages link to Finite models of sketches (Q678828):
Displaying 7 items.
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- How to sketch quasivarieties (Q1125923) (← links)
- Morita equivalence of sketches (Q1840752) (← links)
- On geometric and finitary sketches (Q1923801) (← links)
- Inductive and nearly inductive sketches (Q2762307) (← links)
- Reflection into models of finite decidable FP-sketches in an arithmetic universe (Q2849881) (← links)
- (Q4396956) (← links)