We study statements about countable and well ordered unions and how they are related to each other and to countable and well ordered forms of the axiom of choice.
Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyr...
Abstract. We investigate the set theoretical strength of some properties of normality, including Urysohn’s Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions o...
Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin,...