加载中…
We show that the VC-density of any partitioned formula in a pair of ordered vector spaces is bounded above by twice the number of parameter variables. We also show that this bound is optimal and, as a by-product, we prove that no dense pair of o-minimal structures is dp-minimal.

生成讲解博客的中文版本

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