Zornian Functional Analysis coming to arXiv!

Oct 07 2020, 15:23

Back in autumn 2015 I took a functional analysis course with Prof. Matania Ben-Artzi, and he let me write a term paper about uses of the axiom of choice in functional analysis for my final grade. One year later, in October 2016, I finally posted the note here. It then received some feedback from some people, and about a year after that I posted a small revision.

Earlier this week I suggested my note as a source for the proof that the Baire Category Theorem is equivalent to Dependent Choice. After doing that, I stumbled upon an errata by Theo Bühler and Dietmar A. Salamon to their Functional Analysis book, which refers to my write-up.