{"id":"arxiv/2610.12964","url":"https://arxiv.org/abs/2610.12964","tags":["math.LO"],"score":0,"title":"The strength of the minimum principle in constructive reverse mathematics","domain":"math.LO","source":"arxiv","authors":["Tatsuji Kawai"],"reviews":0,"subject":"math.LO","summary":"The minimum principle states that every real-valued uniformly continuous function f : X -> R on a compact metric space X attains its minimum. Working in the base system EL0 of constructive reverse mathematics, we show that the minimum principle is equivalent to weak Konig's lemma and to the Cantor intersection theorem (i.e., the contrapositive of the Heine-Borel theorem). Moreover, the above equivalence naturally extends to the equivalence between the corresponding principles with unique existence assumptions, which are then shown to be equivalent to the Fan theorem for detachable bars and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-09","reactions":{}}