{"id":"arxiv/2609.14039","url":"https://arxiv.org/abs/2609.14039","tags":["math.LO"],"score":0,"title":"Restrictions of Infinite Circuits","domain":"math.LO","source":"arxiv","authors":["Evan Leach"],"reviews":0,"subject":"math.LO","summary":"We present a new approach to lower bounds on Borel rank via a connection between Borel sets and infinite circuits. We prove an infinite analog to Håstad's switching lemma called the \\emph{restriction lemma}, which shows that by fixing the values of some inputs, we can simultaneously reduce the complexity of one Borel function while largely maintaining the complexity of another. This result provides a purely combinatorial proof of the Borel hierarchy theorem, as well as simple proofs of various Ramsey-like properties of Borel sets and functions. We prove that the restriction lemma is sharp…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}