arXiv++ Combinatorics

We present a number of results concerning infinite-exponent partition relations on linear orders of the form $\langle {}^α2,<_{\text{lex}}\rangle$ for $α$ an ordinal, generalising the setting of the real line, working throughout in ZF without the Axiom of Choice. As a particular consequence of our results, we obtain a full classification of the relation $\langle {}^α2,<_{\text{lex}}\rangle \rightarrow (τ)^τ$ for $τ$ countable.

We introduce and study a multiplicative analogue of additive indecomposability for linear order types that we call untranscendability, as well as a strengthening that we call $s$-untranscendability. We show that, with the unique exception of the two-point type, every untranscendable type is additively indecomposable, and every $σ$-scattered untranscendable type is strongly indecomposable. Under the Proper Forcing Axiom, every untranscendable Aronszajn type is strongly indecomposable. We also show that a theorem of Hagendorf and Jullien, that every strictly additively indecomposable type must be strictly indecomposable to either the left or right, has a natural analogue for $s$-untranscendable types.

We prove that each finite chain in the two-branching countable ultrahomogeneous pseudotree has finite big Ramsey degrees. This is in contrast to the recent result of Chodounský, Eskew, and Weinert that antichains of size two have infinite big Ramsey degree in the pseudotree. Combining a lower bound result of theirs with work in this paper shows that chains of length two in the pseudotree have big Ramsey degree exactly seven. The pseudotree is the first example of a countable ultrahomogeneous structure in a finite language in which some finite substructures have finite big Ramsey degrees while others have infinite big Ramsey degrees.

We investigate big Ramsey degrees of finite substructures of the universal countable homogeneous meet-tree and its binary variant. We prove that structures containing antichains have infinite big Ramsey degrees, and the big Ramsey degree of a 2-element chain is at least 8 and 7 for the binary variant. We deduce that the generic C-relation does not have finite big Ramsey degrees.

I establish several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having the cardinality of an (the?) $\varepsilon$-almost bisecting number are of strong measure zero; no fewer sets of strong measure zero than indicated by the statistically reaping number suffice to cover the reals; the pair-splitting number is not smaller than the evasion number; and the subseries number is neither smaller than the pair-splitting number nor than the minimum of the unbounding number and the unbisecting number. Moreover I provide a diagram putting these results into context and give a brief historical account.