Invariance and definability, with and without equality

Denis Bonnay, Fredrik Engström

The dual character of invariance under transformations and definability by some operations has been used in classical work by for example Galois and Klein. Following Tarski, philos…