Locality of order-invariant first-order formulas. (English) Zbl 1365.68204
MSC:
68P15 | Database theory |
03B10 | Classical first-order logic |
03C13 | Model theory of finite structures |
68P15 | Database theory |
03B10 | Classical first-order logic |
03C13 | Model theory of finite structures |