{"title":"能被代表的偏序集","authors":"Rob Egrot","doi":"10.1016/j.jal.2016.03.003","DOIUrl":null,"url":null,"abstract":"<div><p>A poset is representable if it can be embedded in a field of sets in such a way that existing finite meets and joins become intersections and unions respectively (we say finite meets and joins are preserved). More generally, for cardinals <em>α</em> and <em>β</em> a poset is said to be <span><math><mo>(</mo><mi>α</mi><mo>,</mo><mi>β</mi><mo>)</mo></math></span>-representable if an embedding into a field of sets exists that preserves meets of sets smaller than <em>α</em> and joins of sets smaller than <em>β</em>. We show using an ultraproduct/ultraroot argument that when <span><math><mn>2</mn><mo>≤</mo><mi>α</mi><mo>,</mo><mi>β</mi><mo>≤</mo><mi>ω</mi></math></span> the class of <span><math><mo>(</mo><mi>α</mi><mo>,</mo><mi>β</mi><mo>)</mo></math></span>-representable posets is elementary, but does not have a finite axiomatization in the case where either <em>α</em> or <span><math><mi>β</mi><mo>=</mo><mi>ω</mi></math></span>. We also show that the classes of posets with representations preserving either countable or <em>all</em> meets and joins are pseudoelementary.</p></div>","PeriodicalId":54881,"journal":{"name":"Journal of Applied Logic","volume":"16 ","pages":"Pages 60-71"},"PeriodicalIF":0.0000,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jal.2016.03.003","citationCount":"7","resultStr":"{\"title\":\"Representable posets\",\"authors\":\"Rob Egrot\",\"doi\":\"10.1016/j.jal.2016.03.003\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>A poset is representable if it can be embedded in a field of sets in such a way that existing finite meets and joins become intersections and unions respectively (we say finite meets and joins are preserved). More generally, for cardinals <em>α</em> and <em>β</em> a poset is said to be <span><math><mo>(</mo><mi>α</mi><mo>,</mo><mi>β</mi><mo>)</mo></math></span>-representable if an embedding into a field of sets exists that preserves meets of sets smaller than <em>α</em> and joins of sets smaller than <em>β</em>. We show using an ultraproduct/ultraroot argument that when <span><math><mn>2</mn><mo>≤</mo><mi>α</mi><mo>,</mo><mi>β</mi><mo>≤</mo><mi>ω</mi></math></span> the class of <span><math><mo>(</mo><mi>α</mi><mo>,</mo><mi>β</mi><mo>)</mo></math></span>-representable posets is elementary, but does not have a finite axiomatization in the case where either <em>α</em> or <span><math><mi>β</mi><mo>=</mo><mi>ω</mi></math></span>. We also show that the classes of posets with representations preserving either countable or <em>all</em> meets and joins are pseudoelementary.</p></div>\",\"PeriodicalId\":54881,\"journal\":{\"name\":\"Journal of Applied Logic\",\"volume\":\"16 \",\"pages\":\"Pages 60-71\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.jal.2016.03.003\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Applied Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1570868316300106\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Logic","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1570868316300106","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Mathematics","Score":null,"Total":0}
A poset is representable if it can be embedded in a field of sets in such a way that existing finite meets and joins become intersections and unions respectively (we say finite meets and joins are preserved). More generally, for cardinals α and β a poset is said to be -representable if an embedding into a field of sets exists that preserves meets of sets smaller than α and joins of sets smaller than β. We show using an ultraproduct/ultraroot argument that when the class of -representable posets is elementary, but does not have a finite axiomatization in the case where either α or . We also show that the classes of posets with representations preserving either countable or all meets and joins are pseudoelementary.