Partitioning ordered hypergraphs
An {\em ordered -graph} is an -uniform hypergraph whose vertex set is linearly ordered. Given , an ordered -graph is {\em interval} -{\em partite} if there exist at least disjoint intervals in the ordering such that every edge of has nonempty intersection with each of the intervals and is contained in their union. Our main result implies that for each and , every -vertex ordered -graph with edges has for some an -vertex interval -partite subgraph with edges. This is an extension to ordered -graphs of the observation by Erd\H os and Kleitman that every -graph contains an -partite subgraph with a constant proportion of the edges. The restriction is sharp. We also present applications of the main result to several extremal problems for ordered hypergraphs.