{"id":"arxiv/2608.16692","url":"https://arxiv.org/abs/2608.16692","tags":["math.LO"],"score":0,"title":"Infinitary positive existential normal forms for modules","domain":"math.LO","source":"arxiv","authors":["Rishi Banerjee"],"reviews":0,"subject":"math.LO","summary":"Let $θ$ be a regular cardinal, $R$ a ring, and $M$ a left $R$-module. We prove that for every ordinal $α$ there is a set $I_α\\subseteq M^{<θ}$ of size at most $\\beth_α(|R| + θ)$ such that every parameter-free $L_{\\infty,θ}$ formula of rank at most $α$ is equivalent in $M$ to an infinitary Boolean combination of cosets $\\overline{a} + φ(M)$, where $\\overline{a} \\in I_α$ and $φ$ is an infinitary positive existential formula of rank at most $α$. The main ingredient in the proof is a combinatorial lemma which says that given $κ$ subgroups of an abelian group, there is a set of at most $2^κ$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-17","reactions":{}}