A definitional view of Vogt's variant of the Mazur-Ulam theorem

TL;DR

This paper rephrases Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement, offering a new perspective on the theorem's foundational aspects.

Contribution

It introduces a definitional reformulation of Vogt's variant of the Ulam-Mazur theorem, providing a novel conceptual framework.

Findings

Rephrased Vogt's and Skof's theorem as a definability statement

Provided new insights into the foundational aspects of the theorem

Enhanced understanding of the theorem's conceptual structure

Abstract

A rephrasing of Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement.