Continuing horrors of topology without choice

  • Good C
  • Tree I
  • 1


    Mendeley users who have this article in their library.
  • 28


    Citations of this article.


Various topological results are examined in models of Zermelo-Fraenkel set theory that do not satisfy the Axiom of Choice. In particular, it is shown that the proof of Urysohn's Metrization Theorem is entirely effective, whilst recalling that some choice is required for Urysohn's Lemma. R is paracompact and ω1 may be paracompact but never metrizable. An example of a nonmetrizable paracompact manifold is given. Suslin lines, normality of LOTS and consequences of Countable Choice are also discussed. © 1995.

Author-supplied keywords

  • Axiom of Choice
  • Suslin line
  • Urysohn's Lemma
  • Urysohn's Metrization Theorem
  • ω1

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • C. Good

  • I. J. Tree

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free