Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2406.18288 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914849312735232 |
|---|---|
| author | Krisam, Timo Segel, Ori |
| author_facet | Krisam, Timo Segel, Ori |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_18288 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A note on uniform definability of types over finite sets in partial orders of finite width Krisam, Timo Segel, Ori Logic 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. |
| title | A note on uniform definability of types over finite sets in partial orders of finite width |
| topic | Logic |
| url | https://arxiv.org/abs/2406.18288 |