Infinitary positive existential normal forms for modules
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^κ$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.16692
curl -X POST /api/v1/records/arxiv/2608.16692/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.16692/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'