A combinatorial proof of the extension property for partial isometries

Abstract

We present a short and self-contained proof of the extension property for partial isometrics of the class of all finite metric spaces.

Keywords

• metric space
• Hrushovski property
• extension property for partial automorphisms
• homogeneous structure
• amalgamation class