{"id":"arxiv/2607.12970","url":"https://arxiv.org/abs/2607.12970","tags":["math.LO","cs.LO"],"score":0,"title":"Preservation and definability for the fluted fragment","domain":"math.LO","source":"arxiv","authors":["Yiwen Ding"],"reviews":0,"subject":"math.LO","summary":"This paper investigates preservation and definability for the equality-free fluted fragment over finite relational signatures. We first prove an equirank homomorphism preservation theorem: every homomorphism-preserved fluted sentence has an existential-positive fluted equivalent of no greater quantifier rank. We then refute Purdy's claimed Los--Tarski preservation theorem for the fluted fragment. Our counterexample is a rank-three sentence over one binary relation that is preserved under extensions but has no existential fluted equivalent. Finally, a two-variable counterexample over a unary…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-14","reactions":{}}