The following pages link to Some useful preservation theorems (Q3674627):
Displayed 7 items.
- A logical approach to asymptotic combinatorics I. First order properties (Q1103939) (← links)
- Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)
- Certain answers as objects and knowledge (Q2634471) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- Universal Horn Sentences and the Joint Embedding Property (Q5038201) (← links)
- Negative Knowledge for Certain Query Answers (Q5268438) (← links)
- Datalog Queries Distributing over Components (Q5278203) (← links)