Kurt Gödel found a solution of Einstein’s equations for general relativity. His solution has closed time lines. The metric is:
ds2 = −(dt + exdz)2 + dx2 + dy2+(exdz)2/2.
−∞ < t, x, y, z <∞.

The above equation comes from Wikipedia. Another paper gives us:
ds2 = dz2 − dt2 + dx2 − 2 ex/a dt dy − (ex/a dy)2.

I believe neither of these for the coefficients of the spacial differentials (squared) must always be positive!! The cross term doesn’t ameliorate things! The signature must be (1, 3), not (2, 2). Well actually you can't tell without putting the metric in a diagonal form. See below.

With terms off the diagonal the claim above is shaky but consider map from a circle to a small loop of directions from event <0, 0, 0, 0>. For 0 ≤ θ ≤ 2π: (cos θ) dt + (sin θ)dz. These directions go from a forward time arrow (θ=0) to a backward time arrow (θ=π) and ds2 is always negative. In a proper Lorentz metric (of signature (− , +, +, +)) there is no path between such arrows with ds2 < 0. The metric does not divide the future from the past, even locally. It is peculiar locally, as well as globally. Gödel found a metric with uniform signature (−, −, +, +) that solves Einstein’s equations. I wonder if there is a solution with signature (+, +, +, +).

If we hold t and y constant we get a hyperbolic metric for the resulting 2D subspace:
>ds2 = (exdz)2 + ...


The two metrics:
ds2 = dx2 + (exdz)2
ds2 = (dx2 + dy2)/y2
are congruent with the following map:
Let ex = 2. We have
g =
−100−4
0100
0010
−400−2
g2 =
170012
0100
0010
120020
g4 =
43300444
0100
0010
44400544
g8 =
38462500433788
0100
0010
43378800493072

If we express g in the basis of its eigen vectors, it will be diagonal and its true signature will be evident.
g =
−1002ex
0100
0010
2ex00−e2x/2
g2 =
1 + 4e2x 00−2ex − e3x
0100
0010
−2ex − e3x004e2x + e4x/4
For large x:
g2 =
4e2x00−e3x
0100
0010
−e3x00e4x/4
g4 =
e6x00e7x/4
0100
0010
e7x/400e8x/16
g8 =
e14x4−200e15x4−3
0100
0010
e15x4−300e16x4−4
g16 =
e30x4−600e31x4−7
0100
0010
e31x4−700e32x4−8
The eigen vectors are clearly <4, 0, 0, ex>, <0, 1, 0, 0>, <0, 0, 1, 0> and <4, 0, 0, ex>.
We have two parallel eigen vectors. This is not good.