Re Tipler cylinder (incidentally, discovered by van Stockum). It’s one of those eternal solutions you cannot construct in a “normal” spacetime, because any such construction attempt would hit the Cauchy horizon, where the “first” closed timelike curve (CTC) is supposed to appear. I put “first” in quotation marks because the order of events loses meaning in spacetimes with CTCs. Thus, if you attempt to build a large enough cylinder and spin it up, something else will happen before the frame-dragging effect gets large enough to close the time loop. This has been discussed in the published literature, just look up references to the Tipler’s papers. Amos Ori spent a fair amount of time trying to construct (theoretically) something like a time-machine out of black holes, with marginal success.
Re Tipler cylinder (incidentally, discovered by van Stockum). It’s one of those eternal solutions you cannot construct in a “normal” spacetime, because any such construction attempt would hit the Cauchy horizon, where the “first” closed timelike curve (CTC) is supposed to appear. I put “first” in quotation marks because the order of events loses meaning in spacetimes with CTCs. Thus, if you attempt to build a large enough cylinder and spin it up, something else will happen before the frame-dragging effect gets large enough to close the time loop. This has been discussed in the published literature, just look up references to the Tipler’s papers. Amos Ori spent a fair amount of time trying to construct (theoretically) something like a time-machine out of black holes, with marginal success.