![](/files/happy5.png)
Segoufin, Luc
Order-invariant queries ★★
Author(s): Segoufin
Question
- \item Does
![$ {<}\text{-invariant\:FO} = \text{FO} $](/files/tex/e707bf924cc12f72d2ce6921ded07bb2e489e3d2.png)
![$ {<}\text{-invariant\:FO} $](/files/tex/275592d2a0f85bf01139441abb9bce5b40ac7d32.png)
![$ \text{MSO} $](/files/tex/e4f938d499ee26825afedaf106892a7ca85e30ae.png)
![$ {<}\text{-invariant\:FO} $](/files/tex/275592d2a0f85bf01139441abb9bce5b40ac7d32.png)
![$ {<}\text{-invariant\:FO} $](/files/tex/275592d2a0f85bf01139441abb9bce5b40ac7d32.png)
![$ {<}\text{-invariant\:FO} $](/files/tex/275592d2a0f85bf01139441abb9bce5b40ac7d32.png)
Keywords: Effective syntax; FMT12-LesHouches; Locality; MSO; Order invariance
![Syndicate content Syndicate content](/misc/feed.png)