𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Axiom of Choice and Combinatory Logic

✍ Scribed by Andrea Cantini

Book ID
124980284
Publisher
Association for Symbolic Logic
Year
2003
Tongue
English
Weight
367 KB
Volume
68
Category
Article
ISSN
0022-4812

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

Distributivity and An Axiom of Choice
Distributivity and An Axiom of Choice
✍ George E. Collins πŸ“‚ Article πŸ“… 1954 πŸ› Association for Symbolic Logic 🌐 English βš– 113 KB
Definitions of Compactness and the Axiom
Definitions of Compactness and the Axiom of Choice
✍ Omar De la Cruz, Eric Hall, Paul Howard, Jean E. Rubin and Adrienne Stanley πŸ“‚ Article πŸ“… 2002 πŸ› Association for Symbolic Logic 🌐 English βš– 426 KB