Solution (source code)

= Solution

|| <Spacetime>
|| <Extendible>
|| <Geodesically complete>
|| <Globally hyperbolic>
|| <Asymptotically simple>

| <Schwarzschild spacetime>, exterior $r>2M$
| Yes
| No
| Yes
| No

| <Kruskal spacetime>
| No
| No
| Yes
| No

| Maximal analytic extension of extremal <Reissner-Nordstrom spacetime>
| No
| No
| No
| No

| <Rindler spacetime>
| Yes
| No
| Yes
| No

| <Einstein static universe>
| No
| Yes
| Yes
| No