Translator Disclaimer
December 2003 The axiom of choice and combinatory logic
Andrea Cantini
J. Symbolic Logic 68(4): 1091-1108 (December 2003). DOI: 10.2178/jsl/1067620175

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

Download 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

Published: December 2003
First available in Project Euclid: 31 October 2003

MathSciNet: MR2017343
zbMATH: 1063.03007
Digital Object Identifier: 10.2178/jsl/1067620175

Subjects:
Primary: 03B40 , 03B55 , 03F05 , 03F25 , 03F50

Rights: Copyright © 2003 Association for Symbolic Logic

JOURNAL ARTICLE
18 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE