мне с трудом удалось проверить только часть этого перехода
О, да! Сделать простую подстановку - это токмо Гёделю под силу...
Времени подобные возникают , если

Значит есть две области, ограниченные поверхностью

Во внутренней области

таких парадоксов пока я сходу не вижу.
Перевожу с мутно-загадочного. Нетрудно сообразить, что в достаточно малых областях пространства-времени Гёделя замкнутых причинных кривых нет. Минимальные размеры такой области (т.н. области причинности) оценивались многими авторами и по порядку величины совпадают с приведенной симметричной оценкой. Не знаю, удалось ли кому-то выловить минимум миниморум, но для идейных выводов вполне достаточно следующего: "При современных оценках закрученности минимальная гёделиана, если она есть, имеет дико огромные размеры".
Теперь про "пададоксы". Никакого парадокса в отсутствии глобальной причинности, при сохранении локальной, лично я не вижу.