Continu'ous Time Goes by Russell
Lück, Uwe
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 397-434 / Harvested from Project Euclid
Russell and Walker proposed different ways of constructing instants from events. For an explanation of "time as a continuum," Thomason favored Walker's construction. The present article shows that Russell's construction fares as well. To this end, a mathematical characterization problem is solved which corresponds to the characterization problem that Thomason solved with regard to Walker's construction. It is shown how to characterize those event structures (formally, interval orders) which, through Russell's construction of instants, become linear orders isomorphic to a given (or, deriving, to some—nontrivial ordered) real interval. As tools, separate characterizations for each of resulting (i) Dedekind completeness, (ii) separability, (iii) plurality of elements, (iv) existence of certain endpoints are provided. Denseness is characterized to replace Russell's erroneous attempt. Somewhat minimal nonconstructive principles needed are exhibited, and some alternative approaches are surveyed.
Publié le : 2006-07-14
Classification:  time,  Russell,  instants from events,  continuum,  interval orders,  axiom of choice,  06A99,  01A60,  03C52,  03E17,  03E25,  06A05
@article{1163775446,
     author = {L\"uck, Uwe},
     title = {Continu'ous Time Goes by Russell},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 397-434},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1163775446}
}
Lück, Uwe. Continu'ous Time Goes by Russell. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  397-434. http://gdmltest.u-ga.fr/item/1163775446/