The following pages link to (Q5799960):
Displaying 5 items.
- Automatic models of first order theories (Q387121) (← links)
- Small model property reflects in games and automata (Q2151424) (← links)
- An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers (Q2947176) (← links)
- A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth (Q5108706) (← links)
- Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas (Q6116360) (← links)