On Professor Frederic P. Schuller's Lecture about General relativity, where you can access it through this link: https://www.youtube.com/watch?v=IBlCu1zgD4Y, he clamed Newton's axioms can be converted into 3 mathematical axioms. However I don't understand how they are connected.
Definition: A Newtonian spacetime is a quintuple $(M,O,A,∇,t)$ where $(M,O,A,∇)$ is a differentiable manifold with a torsion free connection, and $t\in C^\infty$M is a smooth function such that $(dt)_p\neq 0$ and $\nabla(dt)=0$.
He claimed that "There is an absolute space" can be written as $(dt)_p\neq 0$. And "Absolute time flows uniformly" can be written as $\nabla(dt)=0$ everywhere. How should I understand these restriction?