An extendible spacetime without closed timelike curves whose every extension contains closed timelike curves - H. Andréka; J. Madarász; J. Manchak; I. Németi; G. Székely (2025)