{"entities":{"Q603884":{"pageid":605660,"ns":120,"title":"Item:Q603884","lastrevid":42602901,"modified":"2025-07-04T13:16:34Z","type":"item","id":"Q603884","labels":{"en":{"language":"en","value":"Lattices of order-convex sets of forests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5813768"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$B6DA1D09-C86E-4DFC-A224-8E77E806A78A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6ec179dd04d20dde621cb0891b27e373f7932c8","datavalue":{"value":{"text":"Lattices of order-convex sets of forests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q603884$4037DAA6-64CF-477E-82D4-43453D35DF16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67aeb3e4a7fd235b7533f01ad6963c4c09e369c6","datavalue":{"value":"1207.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603884$EBEA98D7-B38D-485A-9AC7-16A86ABF4646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd61a38824c26ff0952ba4018ab43f58377930d5","datavalue":{"value":{"entity-type":"item","numeric-id":424122,"id":"Q424122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$66112F94-431A-449A-AD70-E85A6086359D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1af76e17e03fe65cd6b2cfc26f3e9005a3bda9c0","datavalue":{"value":{"entity-type":"item","numeric-id":820487,"id":"Q820487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$9B9A7B37-EB80-4282-84D0-86580C358624","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$690B293F-B018-4DCE-BD74-7D929BBEB23F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4a64d94cf3fbadee0bd43f628c99b6d9b300ec8","datavalue":{"value":{"time":"+2010-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q603884$6FBD9261-35F1-4FD4-9308-541675B5221C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efb74a5ee4bd72a1cd4e1422178a6e060192b4a0","datavalue":{"value":"Let \\((P,\\leq)\\) be a partially ordered set. A set \\(A\\subseteq P\\) is order-convex if for any \\(x,y\\in A\\), \\(x \\leq z\\leq y\\) implies that \\(z\\in A\\). Let \\(\\mathbf{Co}(P)\\) denote the lattice of convex subsets of \\(P\\) under inclusion; such lattices will be called convexity lattices. For a class \\(\\mathcal{K}\\) of posets, let \\(\\mathbf{Co}(\\mathcal {K})\\) denote the class of lattices isomorphic to convexity lattices of posets from \\(\\mathcal {K}\\).  In ``Closure lattices of closure spaces'' [in: G.~Dorfer et al. (eds.), Proceedings of the 73rd workshop on general algebra ``73. Arbeitstagung Allgemeine Algebra'', 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1--4, 2007. Klagenfurt: Verlag Johannes Heyn. Contributions to General Algebra 18, 175--188 (2008; Zbl 1148.06003)], the first author asks in particular about a characterization of the class of lattices belonging to \\(\\mathbf{Co}(\\mathcal {K}\\)) for certain classes of \\(\\mathcal {K}\\) of posets. In this paper, the authors give such a characterization for \\(\\mathcal{K}\\) being the class of forests, as well as for some other classes of posets. A poset \\((P,\\leq)\\) is a forest if the lower set \\(\\downarrow x=\\{ p\\in P \\mid p\\leq x\\}\\) is a chain for any \\(x\\in P\\). Equivalently, a poset \\((P,\\leq)\\) is a forest if no two incomparable elements have a common upper bound in \\((P,\\leq)\\). A connected forest is a tree.  This paper provides a description of the class \\(\\mathbf{Co}\\)(\\(\\mathcal {F}\\)) (\\(\\mathbf{Co}(\\mathcal{F}_{n}\\)), \\(n<\\omega\\), respectively) of lattices isomorphic to convexity lattices of posets which are forests (forests of length at most \\(n\\), respectively) as well as of the class \\(\\mathbf{Co}(\\mathcal {L}\\)) of lattices isomorphic to convexity lattices of linearly ordered posets. This characterization yields that the class of finite members from \\(\\mathbf{Co}(\\mathcal{F}\\)) (from \\(\\mathbf{Co}(\\mathcal{F}_{n}\\)), \\(n<\\omega\\), or from \\(\\mathbf{Co}(\\mathcal{L}\\))) is finitely axiomatizable within the class of finite lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q603884$85BDE3E4-B3BB-4AF1-9651-AE0B59CC8BE8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$84BC19B7-FA62-4140-801C-7F7DC5A18415","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603884$7D1FBA19-41E8-4EF7-9E31-0AD015CAFE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603884$90CDFC7F-BDFC-4F2F-969F-2D440F750FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603884$1B7C258C-4B60-4DC8-B629-3CA287ED7828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0def71b511a88a71542a6826fb43c42b924ca919","datavalue":{"value":"5813768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603884$0DED405A-BDFE-4DBF-8749-19569AB04467","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45fd40d87cc73806eb7965ff704232187183c1a","datavalue":{"value":"convexity lattices of posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q603884$C7AFB67D-804B-47D8-B32E-104CF76C2B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39bdaa77e9e51371e25e261ac8eb064c96ab3c8d","datavalue":{"value":"convexity lattices of forests","type":"string"},"datatype":"string"},"type":"statement","id":"Q603884$DA59E771-6314-475E-A9D1-732AF5E020E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a1ddb01c3435351cf197aa56f47967f68e06183","datavalue":{"value":"finite axiomatizablity","type":"string"},"datatype":"string"},"type":"statement","id":"Q603884$DF2607D1-7D72-43C0-8725-B03D17E81622","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$775ADF6B-2B2B-47E5-8C6D-0651C12A82F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a853f8921c8d8ff5b20c5be4c16c88ed0d90485b","datavalue":{"value":"https://doi.org/10.1007/s11083-009-9119-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q603884$48A06C98-BBBD-44B7-959B-9CBB12588AA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1420df8b2a8663900bea4dd07be421dcba05ea0","datavalue":{"value":"W1990256675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603884$AAFF6E06-5484-4624-9761-14E92CC37163","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f91168bc1bb3073a14223c8358662aef5b9bb4e","datavalue":{"value":{"entity-type":"item","numeric-id":1074609,"id":"Q1074609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$61F5B2E0-FC48-45F5-A15D-FF6FF0ABE315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$F8E71B90-77FD-48C9-9DD2-60F3B3B6F3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$9A8888B5-3C97-48F4-8857-E386BAB7A32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0547699dec0863082ad1a2a4d3545a22fa34a2","datavalue":{"value":{"entity-type":"item","numeric-id":3512588,"id":"Q3512588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$6A2807CD-CAAE-4D40-B93A-3CB8A1C1F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c562c94ffc2ed9da29725d095c0ca753af5f081","datavalue":{"value":{"entity-type":"item","numeric-id":431700,"id":"Q431700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$CB235F21-CFC1-420D-BE4A-F106BDC1650B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938a8012cb8a32874d0a77c72aef259dcebdff12","datavalue":{"value":{"entity-type":"item","numeric-id":1882895,"id":"Q1882895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$9A4C7E34-7A09-4D22-9C40-54F6D51333CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d155fe18811184244005ed8fc422dcdc912a6991","datavalue":{"value":{"entity-type":"item","numeric-id":4464964,"id":"Q4464964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$B088A581-C123-4080-87B5-A6C15436226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83fba56af842e7b04495fc261972c7e671758bc","datavalue":{"value":{"entity-type":"item","numeric-id":5692242,"id":"Q5692242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$A23A8AE3-7F45-4A98-B55D-FCF715E29A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1674c85b5e14086cef7235c72581aad35533b6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3502846,"id":"Q3502846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603884$C6931EAD-73C9-4E2F-B972-19217FC12D10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c93cb46807f08c959a14b9cb4ef7a650673ffb2b","datavalue":{"value":"10.1007/S11083-009-9119-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603884$5DD1F896-7E37-4476-B052-F49F75EF7701","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d928294de57bcb57e06a968ecb63ff7ad504a77c","datavalue":{"value":{"entity-type":"item","numeric-id":3502846,"id":"Q3502846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a1077ed52f5c458d8c2e74959c912a7ebca69e","datavalue":{"value":{"amount":"+0.9127384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$E204EDE0-3BE8-415D-B3FD-2CA3A2B9A15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622c6e85be25ff43edcbda5c5cc0452150596204","datavalue":{"value":{"entity-type":"item","numeric-id":2895834,"id":"Q2895834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8269807912514365b2d5bbb686b0ba2a1e0283e1","datavalue":{"value":{"amount":"+0.88813436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$9C8E84FA-794C-4D3D-831C-6FD27BE619DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faab3b378daa50b14f9732e9656858d62e4b937","datavalue":{"value":{"entity-type":"item","numeric-id":4695518,"id":"Q4695518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8438cb35c658fe817172a932e0ad0966fc2a0c","datavalue":{"value":{"amount":"+0.88776577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$EFD32B07-7655-4634-8BF9-D44B3CAA8D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0eabbe6e6848bc75c01658fcc6fb9c384ff9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3539342,"id":"Q3539342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e9e7e8ae01f3a9b9fa1ad945954182acd13d4d","datavalue":{"value":{"amount":"+0.8788736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$41CBAC63-8F62-4280-ACC3-712A73A7EEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde67ec36ed789a3b76ce9ab6004a8ff99625fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2294548,"id":"Q2294548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cdf052b5b15e2872ed96d418bdbc7990c1b4bc","datavalue":{"value":{"amount":"+0.8770915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$7F88F78E-F355-47E7-BA1E-7AC03073E7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b1e9d6ad5f1819311e268db7113f30e15f4867","datavalue":{"value":{"entity-type":"item","numeric-id":5308878,"id":"Q5308878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e6deda668380c92e519d4042ab5900b32a6f30","datavalue":{"value":{"amount":"+0.87645334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$ADBCF3A6-A369-4D30-A761-E11464C7A7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb816a3db913d8a7ac86801ecc25b0efa6cd7e14","datavalue":{"value":{"entity-type":"item","numeric-id":1175612,"id":"Q1175612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6829a3fdd4f8607a36307c155c2b377add6b7a","datavalue":{"value":{"amount":"+0.8739748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$6F0977CE-3A3F-455F-8FBE-4D64525FD150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6c9109c4b8b01c234d6342bcc01ffa5167c3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1074609,"id":"Q1074609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565b70bb458eea4a5d7efe098399d91f2221375c","datavalue":{"value":{"amount":"+0.8682936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$73D1DEF3-82EB-4752-9136-7CA7CBA2C48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c6407272248bc24d6ecfea7810873ef2d6b90","datavalue":{"value":{"entity-type":"item","numeric-id":1368659,"id":"Q1368659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746ce8ca79b79d5bf3b70448c57725fc7a2c5460","datavalue":{"value":{"amount":"+0.86811405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q603884$3788C265-191E-400D-A241-D6C01CA43F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:603884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:603884"}}}}}