Melrose-type compactifications. In the context of this
introduction, it is worth mentioning the proof of the stability
of the Minkowski spacetime by Hintz & Vasy in which the existence of
spacetimes with polyhomogeneous asymptotic expansions is
established —see [1]}— makes use of of a
compactification of spacetime into a manifold with boundary and
corners. This procedure is inspired by the methods of Melrose's geometric
scattering theory programme —see e.g. [2]}. This construction
has a very strong resemblance to that introduced by Friedrich in
[3]}. The precise relation between these two seemingly
connected representations of spatial infinity will be elaborated
elsewhere.
