A definitional view of Vogt's variant of the Mazur-Ulam theorem
arXiv:1211.4588
Abstract
A rephrasing of Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement.
arXiv:1211.4588
A rephrasing of Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement.