English

Inner product space with no ortho-normal basis without choice

Logic 2010-09-09 v1

Abstract

We prove in ZF that there is an inner product space, in fact, nicely definable with no orthonormal basis.

Cite

@article{arxiv.1009.1441,
  title  = {Inner product space with no ortho-normal basis without choice},
  author = {Saharon Shelah},
  journal= {arXiv preprint arXiv:1009.1441},
  year   = {2010}
}
R2 v1 2026-06-21T16:10:49.945Z