Preservation and definability for the fluted fragment
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.12970
curl -X POST /api/v1/records/arxiv/2607.12970/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.12970/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'