[8] However, no mention of this hypothetical earlier work or its author remains today, and it is also plausible that Theodosius was the first to formalize material which had been previously justified by informal physical demonstrations on a globe or armillary sphere.
In addition to the Spherics, two other works by Theodosius have survived: On Habitations, describing the appearances of the heavens at different climes and different times of the year, and On Days and Nights, a study of the apparent motion of the Sun.
Pappus of Alexandria (4th century) commented extensively on Theodosius' Spherics and On Days and Nights in his Collection, Book VI.
This text was historically taken to refer to a single person, but the sentences about the Theodosius from Tripoli who wrote verses about the spring were likely intended to represent a separate entry.
The other listed works were by the Theodosius who wrote the Spherics, including presumably the (now-lost) commentary on Archimedes' Method.