A rigidity result on the ideal boundary structure of smooth space-times
Following a survey of the abstract boundary definition of Scott and Szekeres, a rigidity result is proved for the smooth case, showing that the topological structure of the regular part of this boundary in invariantly defined.
gr-qc↗