Bar-recursion and Preservation of Cardinals

Laura Fontanella, Jacopo Furlan

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 real…