arXiv++ Combinatorics

For an infinite cardinal $κ$, let $dedκ$ denote the supremum of the number of Dedekind cuts in linear orders of size $κ$. It is known that $κ<dedκ\leq 2^κ$ for all $κ$ and that $dedκ<2^κ$ is consistent for any $κ$ of uncountable cofinality. We prove however that $2^κ\leq ded ( ded ( ded ( dedκ)))$ always holds. Using this result we calculate the Hanf numbers for the existence of two-cardinal models with arbitrarily large gaps and for the existence of arbitrarily large models omitting a type in the class of countable dependent first-order theories. Specifically, we show that these bounds are as large as in the class of all countable theories.