@misc{indiciae03e6b9d56286, title = {Von Neumann coordinatization is not first-order}, author = {Friedrich Wehrung}, year = {2006}, url = {https://arxiv.org/abs/math/0409250}, note = {Source identifier: math/0409250} }