A note on uniform definability of types over finite sets in partial orders of finite width

Autor:	Krisam, Timo, Segel, Ori
Rok vydání:	2024
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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 related remarks.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2406.18288 Zobrazit plný text záznamu View this record from Arxiv