Abstract
We show that in the theory of infinite trees the VC-function is optimal. This generalizes a result of Simon showing that trees are dp-minimal.
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
