Article contents
The axiom of choice and combinatory logic
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2003
References
REFERENCES
- 1
- Cited by