### On the number of Dedekind cuts and two-cardinal models of dependent theories

by Chernikov and Shelah. [CeSh:1035]

For an infinite cardinal kappa, let ded kappa
denote the supremum of the number of Dedekind cuts in linear
orders of
size kappa . It is known that kappa < ded kappa
<= 2^{kappa} for all kappa and that ded kappa <
2^{kappa} is consistent for any kappa of uncountable cofinality.We prove however that 2^{kappa} <= ded (
ded (ded (ded
kappa))) 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.

Back to the list of publications