А бывают ли модели пространств, отличающихся от нашего привычного количеством временных измерений?
Модели бывают всякие.
В ОТО (и в СТО) временное измерение формально отличается от пространственных
именно тем, что оно одно. Благодаря этому замкнутые пространственно-подобные линии - обычное дело, а замкнутые времени-подобные (машина времени) - это нечто такое, во что мы имеем право не верить, считая, что конусы прошлого и будущего не пересекаются.
Если же взять модель с двумя или более временными измерениями, то в ней замкнутые времени-подобные линии становятся тривиальностью. Так что, скажем, если считать, что наше четырёхмерие является вложением в плоское (нулевой кривизны) пространство большей размерности, в котором временных измерений несколько, то можно ожидать, что и в нашем четырёхмерии есть замкнутые времени-подобные линии. А если считать, наше четырёхмерие является вложением в плоское (нулевой кривизны) пространство, в котором временное измерение единственное, то как ни изощряйся, а машина времени в такой модели невозможна.