𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Variants of the axiom of choice in the simple theory of types

✍ Scribed by A. M. Yakubovich

Publisher
SP MAIK Nauka/Interperiodica
Year
1981
Tongue
English
Weight
351 KB
Volume
30
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Consequences of the failure of the axiom
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces
✍ Kyriakos Keremedis 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 167 KB

## Abstract We study within the framework of Zermelo‐Fraenkel set theory ZF the role that the axiom of choice plays in the theory of Lindelöf metric spaces. We show that in ZF the weak choice principles: (i) Every Lindelöf metric space is separable and (ii) Every Lindelöf metric space is second cou