𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Combinatory logic and the axiom of choice

✍ Scribed by Henk Barendregt

Publisher
Elsevier Science
Year
1973
Weight
849 KB
Volume
76
Category
Article
ISSN
1385-7258

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Axiom of Choice in Second-Order Pred
The Axiom of Choice in Second-Order Predicate Logic
✍ Christine Gaßner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in

Unions and the axiom of choice
Unions and the axiom of choice
✍ Omar De la Cruz; Eric J. Hall; Paul Howard; Kyriakos Keremedis; Jean E. Rubin πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 176 KB πŸ‘ 1 views

## Abstract We study statements about countable and well‐ordered unions and their relation to each other and to countable and well‐ordered forms of the axiom of choice. Using WO as an abbreviation for β€œwell‐orderable”, here are two typical results: The assertion that every WO family of countable se

Metric spaces and the axiom of choice
Metric spaces and the axiom of choice
✍ Omar De la Cruz; Eric Hall; Paul Howard; Kyriakos Keremedis; Jean E. Rubin πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 173 KB πŸ‘ 1 views

## Abstract We study conditions for a topological space to be metrizable, properties of metrizable spaces, and the role the axiom of choice plays in these matters.