I am writing my college thesis about Gödel's article A New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation.
As far as I had understood, there are important geometric objects such as $x^0$-lines (spatially stationary particle world lines), closed timelike curves (or Gödel's helix as I like to call it) and three-spaces, but I cannot figure out what is Kurt Gödel exactly referring to when he writes "world lines of matter". As he claims in this article, he uses this object to talk about some properties of his solution, properties 2 and 6 to be precise, but when he writes property 8 and its proof it is critical to understand, both formally and heuristically, the very nature of this object.
Pardon me if I am too emphatical, maybe my English is not good enough to write in a more relaxed and elegant manner.