加载中…
We show that the VC-density in certain theories of oriented abelian groups is at most the size of parameter variables, which yields dp-minimality. We further prove that the VC-density of formulas in pairs of such models is bounded by twice the size of parameter variables. This uniform upper bound is shown to be sharp, and as a consequence, we show that such pairs have dp-rank 2.

生成讲解博客的中文版本

生成AI智能校验的中文版本