Mathematical Logic Quarterly 54 (6):652-665 (2008)
AbstractWe 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 sets has a WO union does not imply that every countable family of WO sets has a WO union; the axiom of choice for WO families of WO sets does not imply that the countable union of countable sets is WO
Added to PP
Historical graph of downloads
References found in this work
Zermelo-Fraenkel Consistency Results by Fraenkel-Mostowski Methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.
Consequences of the Axiom of Choice.Paul Howard & Jean E. Rubin - 2005 - Bulletin of Symbolic Logic 11 (1):61-63.
The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem.Paul E. Howard - 1992 - Notre Dame Journal of Formal Logic 33 (2):236-243.
Metric Spaces and the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (5):455-466.
Citations of this work
No citations found.