2024/05/16 by Ayhan Günaydın, Günaydın, Ayhan, Ebru Nayir +1
Computer Science · Mathematics · #03C45 #03C64 #Differential Equations and Boundary Problems #FOS: Mathematics #Logic (math.LO) #Matrix Theory and Algorithms #advanced mathematical theories
paper · pdf · doi:10.48550/arxiv.2405.10069
openalex publication_date 2024/05/16 · openalex created_date 2024/05/18 · openalex updated_date 2026/07/28
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.