Tutkimustavoitteeni on löytää ne ehdot matematiikassa, jotka määrittävät milloin parametri "t" on aika-parametri dynaamisissa systeemeissä. Matemaattinen aika liitetään tyypillisesti reaalilukuihin, mitä kutsutaan ajan minimimalliksi. Tämä malli kuitenkin sisältää merkittäviä filosofisia ristiriitoja eikä ole yhteensopiva presentistisen aikakäsityksen kanssa. Useimmat yritykset formalisoida aika matematiikassa ovat kohdanneet ontologisia ongelmia alkuoletustensa vuoksi ja lisänneet vain vähän matemaattista ymmärrystä. Ajan käsitteen formalisoiminen matematiikkaan on edelleen melkoinen haaste.