{"id":"arxiv/2609.04644","url":"https://arxiv.org/abs/2609.04644","tags":["math.LO"],"score":0,"title":"Constructive equivalence between Brouwer's fixed-point theorem and weak König's lemma","domain":"math.LO","source":"arxiv","authors":["Tatsuji Kawai"],"reviews":0,"subject":"math.LO","summary":"In the context of constructive reverse mathematics, we show that Brouwer's fixed-point theorem and weak König's lemma (WKL) are equivalent. To derive WKL from Brouwer's fixed-point theorem, the construction of a continuous function on the unit square without fixed points due to Orevkov [Soviet Math. Doklady (1963), 1253--1256] is generalised to yield a uniformly continuous function on the unit square whose fixed points encode information about infinite paths of a given infinite tree.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-04","reactions":{}}