{"id":"arxiv/2606.25590","url":"https://arxiv.org/abs/2606.25590","tags":["math.LO","cs.LO"],"score":0,"title":"Bar-recursion and Preservation of Cardinals","domain":"math.LO","source":"arxiv","authors":["Laura Fontanella","Jacopo Furlan"],"reviews":0,"subject":"math.LO","summary":"This work presents a transfinite version of the bar-recursion in the context of classical realizability models for set theory. Bar-recursion has been previously used to obtain realizability interpretations of countable choice and dependent choice, and was employed by Krivine to realize the continuum hypothesis in classical realizability. In this paper, we introduce a transfinite variant of bar-recursion and use it to construct realizability models validating uncountable fragments of the Axiom of Choice. Moreover, our construction reveals that this generalized bar-recursion is related to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}