Since Euclid's axiomatization of space, we have developed a sophisticated mathematical model of space. Given a category of structures (measures), local space is modeled the spectrum of measurements that these structures can possibly make. Global space is construed as patches connected via transport, which identifies measurements across patches.
I'm troubled that I have not come across any axiomatization of time. Assuming that mathematics is a priori science, the great varieties of theories of space in physics can be attributed to our sophisticated mathematical model of space. There is relativity, string theory, quantum theory and M theory.
Perhaps the reader may object that these theories are theories of space-time, rather than theories of space. However, I wish to note that in these theories, time is essentially treated in the same manner as space. In classical physics, time is but another dimension of space. In relativity, time is distinguished from time by the (3,1) signature, but this is just a metric. Riemannian geometry is still considered a theory of space rather than a theory of time.
I'm wondering, then, whether you have encountered is a mathematical axiomatization of time, that treats time in a way not that is not inherently spatial? Assuming once more that mathematics is a priori science, perhaps such an axiomatization can lead to breakthroughs in physics and finance.
Finally, there is a physical theory that I think comes close to a model of time. Namely, entropy. Just as space is dual to measures, we can think of time as dual to entropy. Given as entropy can be defined using combinatorics and probability, this could be viewed as a mathematical theory.
EDIT: Steve mentioned that perhaps one can view entropy as a theory of time via the Thermal Time Hypothesis. Other than entropy, are there any other axiomatizations of time?
ANOTHER EDIT: In the answers given below, most of the models of time are archimedean. I'm wondering, this models can be tweaked to allow a cyclic conceptualization of time. Many ancient cultures, eg from India, consider time to be cyclic rather than archimedean. Should I ask this as a separate question?
I think of this cyclic/archimdean dichotomy as something like Euclidean/non-Euclidean geometry.
