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.
Citation
Andrea Cantini. "The axiom of choice and combinatory logic." J. Symbolic Logic 68 (4) 1091 - 1108, December 2003. https://doi.org/10.2178/jsl/1067620175
Information
