The following pages link to (Q4115145):
Displaying 4 items.
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Omega-categoricity, relative categoricity and coordinatisation (Q912842) (← links)
- Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)