Discrete linear future time without axioms
scientific article; zbMATH DE number 3534468