Hilbert spaces without the Countable Axiom of Choice

We study elementary properties of Hilbert spaces and bounded operators in the absence of any form of the Axiom of Choice. A surprising amount of the theory continues to hold, sometimes with modified proofs, but there are some interesting surprises. It turns out there is a much greater variety of Hilbert spaces. We also obtain some new and potentially interesting types of cardinals and relations between them.