No, none of these points are contradicted by SR or GR.
They perfectly match the idea of events as 4D points in Minkowsky space time. Points 1 and 2 are matched by describing any event by its (x, y, z, t) coordinates in some reference frame. Point 4 is matched by the fact that the Lorrentz transform preserves the ordering by t of events which are timelike separated.
Many seem to forget that even in relativity, all observers agree on the order of events that are close enough together in space. For example, any possible observer agrees that the pyramids are older than Hacker News (though they will disagree on how much older).
What the GP is saying is that this framework definition of time is in fact a series of requirements that any physical theory of time must fulfill to be recognizable as talking about time. That is, any theory that doesn't match those criteria is not talking about the same thing we are when we say time.
They perfectly match the idea of events as 4D points in Minkowsky space time. Points 1 and 2 are matched by describing any event by its (x, y, z, t) coordinates in some reference frame. Point 4 is matched by the fact that the Lorrentz transform preserves the ordering by t of events which are timelike separated.
Many seem to forget that even in relativity, all observers agree on the order of events that are close enough together in space. For example, any possible observer agrees that the pyramids are older than Hacker News (though they will disagree on how much older).
What the GP is saying is that this framework definition of time is in fact a series of requirements that any physical theory of time must fulfill to be recognizable as talking about time. That is, any theory that doesn't match those criteria is not talking about the same thing we are when we say time.