For a fixed prime , put and for , where is its P-adic valuation. Additivity of the valuation on products proves . Changing sign does not change the valuation, so is the identity. Thus this is a structure automorphism of . At it fixes one and sends two to minus two, so it does not preserve the addition graph or the nonnegative integers. Automorphism invariance of parameter-free definability therefore excludes both from definability in this multiplicative language.
Articles by others on the same topic
There are currently no matching articles.