This paper presents a framework for a theory of granularity, which is seen as a means of constructing simple theories out of more complex ones. A transitive indistinguishability relation can be defined by means of a set of relevant predicates, allowing simplification of a theory of complex phenomena into computationally tractable local theories, or granularities. Nontransitive indistinguishabil...

Together with F. Morel, we have constructed in [6, 7, 8] a theory of algebraic cobordism, an algebro-geometric version of the topological theory of complex cobordism. In this paper, we give a survey of the construction and main results of this theory; in the final section, we propose a candidate for a theory of higher algebraic cobordism, which hopefully agrees with the cohomology theory repres...

Timelines interpreting interval temporal logic formulas are segmented into strings which serve as semantic representations for tense and aspect. The strings have bounded but refinable granularity, suitable for analyzing (im)perfectivity, durativity, telicity, and various relations including branching.