Similar Items: Order-Invariant Types and Their Applications
- Successor-Invariant First-Order Logic on Classes of Bounded Degree
- About the Expressive Power and Complexity of Order-Invariance with Two Variables
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers
- Invariant Subspace Decomposition
- Nash Equilibrium and Bisimulation Invariance
- Subspace-Invariant AC$^0$ Formulas