y=2x vs. y=3x
Damian Niwiński, Alexei P. Stolboushkin · 2002
It is shown that no formula of first-order logic using linear ordering and the logical relation y=2x can define the property that the size of a finite model is divisible by 3. This answers a long-standing question that may be of relevance to certain open problems in circuit complexity.>