{"id":"arxiv/2609.07475","url":"https://arxiv.org/abs/2609.07475","tags":["math.LO","math.CO"],"score":0,"title":"Combinatorics in 1-semi-equational theories","domain":"math.LO","source":"arxiv","authors":["Mervyn Tong"],"reviews":0,"subject":"math.LO","summary":"We give direct combinatorial proofs that 1-semi-equational theories satisfy two combinatorial properties that imply the non-interpretability of certain fields. Our main result is that Boolean combinations of 1-semi-equations have almost linear Zarankiewicz bounds, and hence no infinite field is interpretable in a 1-semi-equational theory; this answers a question of Chernikov--Mennen and Chernikov--Starchenko, who had respectively established almost linear Zarankiewicz bounds for Boolean combinations of $(2,1)$-semi-equations and Boolean combinations of weakly normal relations. (This was…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}