{"id":"arxiv/2607.29366","url":"https://arxiv.org/abs/2607.29366","tags":["math.LO"],"score":0,"title":"Definability from Factorised Symmetry in Ultrapowers","domain":"math.LO","source":"arxiv","authors":["Mike Stannett"],"reviews":0,"subject":"math.LO","summary":"A recent theorem of Madarasz characterises the parameter-free concepts of a finitely field-definable coordinate geometry by invariance under its affine automorphisms. This paper isolates the affine-geometric ingredient in that proof and extends the argument to include additional finite-relational coordinate geometries. The new hypothesis is \"semilinear faithfulness\": in every ultrapower, each automorphism of the induced geometry factors as an affine automorphism of the geometry followed by the componentwise action of an automorphism of the expanded base structure. Under this hypothesis,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}