Poincaré Duality for non-compact manifolds without Zorn's Lemma

Often the definition of a manifold includes a condition to exclude strange manifolds that are "very large" such as the Prüfer surface. One condition commonly assumed is that the topology on the manifold is second countable. This is necessary for embedding the manifold in Euclidean space for example. Second countability implies that there is a countable cover by coordinate charts, and in this case the proof of Poincaré duality in my book works without Zorn's Lemma, as stated at the end of step (3) of the proof on page 248. Perhaps I should have assumed second countability and skipped the part of the proof using Zorn's Lemma, but I thought it was kind of interesting that duality holds in the more general setting if one is willing to use Zorn's Lemma. I don't know whether the general case can be proved without Zorn's Lemma (or something equivalent). As a test case one could look for a Zornless proof for the Prüfer surface. Even simpler, one could look at the disjoint union of an uncountable number of copies of Euclidean space.

A slight modification of Hatchers Proof gives you what you want: Hatcher relies on the fact that if $M$ is a union of opens totally ordered by inclusion, which satisfy PD, then $M$ does, too. It is easy to see that you can weaken that to the opens only being directed. Also, another case tells you that all finite intersections of coordinate balls satisfy PD, so all finite unions do too. Then, at the end instead of using Zorn's Lemma you only have to look at the cover of all finite unions of coordinate balls, which are obviously directed w.r.t. inclusion.