{"id":"arxiv/2602.13917","url":"https://arxiv.org/abs/2602.13917","tags":["math.LO"],"score":0,"title":"An equiconsistency proof for $\\mathrm{CZF} + V = L$","domain":"math.LO","source":"arxiv","authors":["Shuwei Wang"],"reviews":0,"subject":"math.LO","summary":"In many axiomatic set theories, Gödel's constructible universe $L$ is known as an inner model, that is, a definable class satisfying the same axioms (and containing the same ordinals). This gives a trivial proof that adding the axiom $V = L$ does not increase the consistency strength of the theory. In this paper, we shall look at a system of intuitionistic set theory known as $\\mathrm{CZF}$, where $L$ fails to exhibit such nice properties. We will demonstrate that, here, the theory $\\mathrm{CZF} + V = L$ is still equiconsistent with $\\mathrm{CZF}$, but the proof will involve a much more…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-14","reactions":{}}