The following pages link to (Q5611004):
Displaying 5 items.
- A collapse result for constraint queries over structures of small degree (Q1007620) (← links)
- Datalog vs first-order logic (Q1342861) (← links)
- Sub-arithmetical ultrapowers: A survey (Q2276952) (← links)
- Minimal elementary end extensions (Q2402959) (← links)
- Game-based notions of locality over finite models (Q2478544) (← links)
