A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
Nonconstructive Properties of Well-Ordered T 2 topological Spaces
1999
Notre Dame Journal of Formal Logic
We show that none of the following statements is provable in Zermelo-Fraenkel set theory (ZF) answering the corresponding open questions from Brunner in "The axiom of choice in topology": For every T 2 topological space (X, T ), if X is well-ordered, then each open cover of X has a well-ordered open refinement, (iii) For every T 2 topological space (X, T ), if X has a well-ordered dense subset, then there exists a function f : X × W → T such that W is a wellordered set and {x} = ∩ f ({x} × W ) for each x ∈ X.
doi:10.1305/ndjfl/1012429718
fatcat:csondyydlnbe5pxwur6g7outdq