Spaces of Urelements. II (Q1118195)

Topology thrives without the Axiom of choice. Choosing the Mostowski model [\textit{T. J. Jech}, `The Axiom of Choice' (1973; Zbl 0259.02051)], the author continues his work on `spaces of urelements' [\textit{N. Brunner}, Rend. Semin. Mat. Univ. Padova 74, 7-13 (1985; Zbl 0601.54023)]. Here, he explains, ``In general, the characterization of a class of spaces which are built up from urelements may lead to rather obscure notions. This is to be expected, because the very existence of these spaces contradicts AC. Interestingly, the class of continuous \(T_ 2\)-images of [the urelement line] L can be described by very harmless looking properties. Our main result states, that these are just the Dedekind-finite Lindelöf \(T_ 2\)-spaces which are hereditarily locally Lindelöf and have at most finitely many isolated points''. This paper makes no concessions to beginners: readers should know about the Mostowski model and be prepared to decipher a few pieces of dense - if not confusing - symbolism.