Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Krisam, Timo"'
Autor:
Krisam, Timo, Segel, Ori
In "VC density in some theories without the independence property" the authors asked whether any partial order of finite width has the VC1 property (i.e. every formula in one variable has UDTFS in one parameter). We give a negative answer and some re
Externí odkaz:
http://arxiv.org/abs/2406.18288
