The Bi-UF Positive Conjecture Holds
A subsemiring $S$ of the nonnegative cone of the real line containing $1$ is called a positive semiring. The Bi-UF Positive Conjecture, posed by Baeth, Chapman, and Gotti in 2021, states that the prototypical semiring $\mathbb{N}_0$ is the only positive semiring whose additive monoid $(S,+)$ and nonzero multiplicative monoid $(S^\bullet,\cdot)$, where $S^\bullet=S\setminus\{0\}$, are both factorial. In this paper, we prove their conjecture.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.16950
curl -X POST /api/v1/records/arxiv/2608.16950/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.16950/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'