{"id":"arxiv/2602.01739","url":"https://arxiv.org/abs/2602.01739","tags":["math.LO"],"score":0,"title":"Convex sets and Axiom of Choice","domain":"math.LO","source":"arxiv","authors":["Yasuo Yoshinobu"],"reviews":0,"subject":"math.LO","summary":"Under $\\mathrm{ZF}$, we show that the statement that every subset of every $\\mathbb{R}$-vector space has a maximal convex subset is equivalent to the Axiom of Choice. We also study the strength of the same statement restricted to some specific $\\mathbb{R}$-vector spaces. In particular, we show that the statement for $\\mathbb{R}^2$ is equivalent to the Axiom of Countable Choice for reals, whereas the statement for $\\mathbb{R}^3$ is equivalent to the Axiom of Uniformization. We discuss the statement for some spaces of higher dimensions as well.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-02","reactions":{}}