A note on uniform definability of types over finite sets in partial orders of finite width
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.
Gespeichert in:
| Veröffentlicht in: | arXiv.org 2024-06 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | arXiv.org |
| container_volume | |
| creator | Krisam, Timo Segel, Ori |
| description | 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 | Article |
| fullrecord | <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_3072926042</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>3072926042</sourcerecordid><originalsourceid>FETCH-proquest_journals_30729260423</originalsourceid><addsrcrecordid>eNqNyk0KwjAQQOEgCBbtHQZcF-KkP7oUUTyAKzcl0gmm1ExNUqW3t4IHcPUW75uJBJXaZNsccSHSEFopJZYVFoVKxHUPjiMBOxicNewf0JCxTt9sZ-MIbCCOPQXgF3mYhp1woBjAOui1j1Z3wL4hH772B962ifeVmBvdBUp_XYr16Xg5nLPe83OgEOuWB--mVStZ4Q5LmaP6T30AH71CmA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>3072926042</pqid></control><display><type>article</type><title>A note on uniform definability of types over finite sets in partial orders of finite width</title><source>Free E- Journals</source><creator>Krisam, Timo ; Segel, Ori</creator><creatorcontrib>Krisam, Timo ; Segel, Ori</creatorcontrib><description>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.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><ispartof>arXiv.org, 2024-06</ispartof><rights>2024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>780,784</link.rule.ids></links><search><creatorcontrib>Krisam, Timo</creatorcontrib><creatorcontrib>Segel, Ori</creatorcontrib><title>A note on uniform definability of types over finite sets in partial orders of finite width</title><title>arXiv.org</title><description>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.</description><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><recordid>eNqNyk0KwjAQQOEgCBbtHQZcF-KkP7oUUTyAKzcl0gmm1ExNUqW3t4IHcPUW75uJBJXaZNsccSHSEFopJZYVFoVKxHUPjiMBOxicNewf0JCxTt9sZ-MIbCCOPQXgF3mYhp1woBjAOui1j1Z3wL4hH772B962ifeVmBvdBUp_XYr16Xg5nLPe83OgEOuWB--mVStZ4Q5LmaP6T30AH71CmA</recordid><startdate>20240626</startdate><enddate>20240626</enddate><creator>Krisam, Timo</creator><creator>Segel, Ori</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20240626</creationdate><title>A note on uniform definability of types over finite sets in partial orders of finite width</title><author>Krisam, Timo ; Segel, Ori</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_30729260423</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Krisam, Timo</creatorcontrib><creatorcontrib>Segel, Ori</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Krisam, Timo</au><au>Segel, Ori</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>A note on uniform definability of types over finite sets in partial orders of finite width</atitle><jtitle>arXiv.org</jtitle><date>2024-06-26</date><risdate>2024</risdate><eissn>2331-8422</eissn><abstract>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.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | EISSN: 2331-8422 |
| ispartof | arXiv.org, 2024-06 |
| issn | 2331-8422 |
| language | eng |
| recordid | cdi_proquest_journals_3072926042 |
| source | Free E- Journals |
| title | A note on uniform definability of types over finite sets in partial orders of finite width |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-10T07%3A58%3A22IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=A%20note%20on%20uniform%20definability%20of%20types%20over%20finite%20sets%20in%20partial%20orders%20of%20finite%20width&rft.jtitle=arXiv.org&rft.au=Krisam,%20Timo&rft.date=2024-06-26&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E3072926042%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=3072926042&rft_id=info:pmid/&rfr_iscdi=true |