The axiom of choice and combinatory logic
Andrea Cantini · Journal of Symbolic Logic · 2003
Abstract We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.