Skip to main content
Open Access Publications from the University of California

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

  • Author(s): Chernikov, A
  • Shelah, S
  • et al.

© Cambridge University Press 2015. 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 κ ≤2κ for all κ and that ded κ < 2κ is consistent for any κ of uncountable cofinality. We prove however that 2κ≤ 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.

Many UC-authored scholarly publications are freely available on this site because of the UC's open access policies. Let us know how this access is important for you.

Main Content
Current View