{"entities":{"Q801942":{"pageid":803790,"ns":120,"title":"Item:Q801942","lastrevid":64444560,"modified":"2026-04-11T19:54:46Z","type":"item","id":"Q801942","labels":{"en":{"language":"en","value":"Lattices of crosscuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880764"}},"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":"Q801942$C30A59F7-BAF0-40D0-BED7-1EB756A38419","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bf675366f5d208c4a2e7950ed67fb85f25fd934","datavalue":{"value":{"text":"Lattices of crosscuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801942$518B1CCD-0BDB-46E6-BD9A-214271324576","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d2eaa741111e3fff93e49b581a63839973cd8d8","datavalue":{"value":"0553.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801942$1C359CDD-64CF-4970-8BD9-F91D97A05E6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b3f32332a10e74ce9df2149fa037feea1cc3171","datavalue":{"value":"10.1007/BF01190905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801942$8C9FDFC1-79A8-48C8-ACFB-FC2A571562AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6faf22c09aa018d358b6eb0636099956e4498248","datavalue":{"value":{"entity-type":"item","numeric-id":801941,"id":"Q801941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$7812F4BC-CE1C-4303-B32D-2E92F513DEB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$D3409FA9-BE8A-4341-BE6C-D87A46342109","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q801942$792C0E03-1DC7-4F6D-A713-0085F18420F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f60cc5b2763109b381b84a683b075a77561bdcbd","datavalue":{"value":"Let P be a finite poset. Then an antichain in P meets every maximal chain in P at most once, a cutset of P meets every maximal chain in P at least once, and a crosscut of P meets every maximal chain in P exactly once. In 1960, \\textit{R. P. Dilworth} [Proc. Symp. Appl. Math. 10, 85-90 (1960; Zbl 0096.006)] proved that the maximum-sized antichains in P always form a distributive lattice (when ordered in a natural way) and recently \\textit{K. M. Koh} [Algebra Univers. 17, 73-86 (1983; Zbl 0524.06003)] proved that every finite distributive lattice is isomorphic to the lattice of maximum-sized antichains of a suitable finite poset. Meanwhile, in 1972 \\textit{F. Escalante} [Abh. Math. Sem. Univ. Hamb. 38, 199-220 (1972; Zbl 0239.05131)] proved that the minimum-sized cutsets of a finite poset also form a distributive lattice and he showed that every finite distributive lattice could be represented in this way.  The purpose of the present paper is to obtain similar results for crosscuts. Crosscuts of arbitrary posets are defined and shown to form distributive lattices. Every finite distributive lattice is proved to be representable as the lattice of crosscuts of some finite poset. This representation is extended so as to include those of Escalante and Koh, as far as is possible. Essential use is made of some ideas of Escalante and Gallai.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801942$29C76476-9D9C-4EC3-A854-04733A1F5E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801942$73BBFDB5-FC18-4A74-8092-AA17455E09A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801942$FA0CC9C5-B983-44A7-8455-12EDDF8587F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8129399074ae07fc89e503113edb8d137900a98","datavalue":{"value":"3880764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801942$5DC1DE52-60FC-4B98-AA5D-C8C786E24BB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6575997fe34f5b3b31e4bef320f03458bbb69c1a","datavalue":{"value":"finite poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q801942$791FF7AD-1063-4EE6-876C-7A931C9F7D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922dd5b5d3c3b4c11754bf29c76680dc7e535fce","datavalue":{"value":"finite distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q801942$AF6B8F07-18BE-4D95-B215-776580FF92CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39a65fbb8f06fbdb92e1ccc41acac65259786e6","datavalue":{"value":"lattice of maximum-sized antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q801942$8670E19E-1BE0-48C0-909C-EF2866060BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28675c90d55323d9831d887370a5d00a55954a9","datavalue":{"value":"minimum-sized cutsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q801942$1DFC9B82-5521-4BBF-AF06-77357834ED6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e590053aa7c450a1a967b0895a4f280b3fb5830f","datavalue":{"value":"lattice of crosscuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q801942$755C1820-D507-4E30-AB9F-038200C35515","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$B6A044FF-FCDC-486A-944D-4036853D5E85","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":"Q801942$4EEF1340-6D42-4BA0-8DE9-41B14CD91D21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dafe6927a1e73f2031126cff56637af55735ac","datavalue":{"value":{"entity-type":"item","numeric-id":5895362,"id":"Q5895362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$3837A88F-A0AF-4481-BA5A-F626883EA08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba60c5419427ac8f7d406e7edc68194d94e67ae","datavalue":{"value":{"entity-type":"item","numeric-id":3274165,"id":"Q3274165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$B4A09B18-E28F-405B-91C0-0B4C9AED9C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a951eec3e3a747e3430259aa17331ffaba832bb","datavalue":{"value":{"entity-type":"item","numeric-id":2553451,"id":"Q2553451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$135FACA3-CEC2-4166-BC10-5B5E1A0FFA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26fd37e31da1cb0a9f2a5f3489e1f11a7f206517","datavalue":{"value":{"entity-type":"item","numeric-id":4401971,"id":"Q4401971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$18508632-70B0-478C-97C8-9BA857E10086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bce8059ac4d4591ab0fc7c4dfae8b72273b408","datavalue":{"value":{"entity-type":"item","numeric-id":3234598,"id":"Q3234598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$122BAC3E-9F37-4B68-B64E-0E7A4DD65A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d238718d4f9c4b411f5f3530a939e8b4916352c8","datavalue":{"value":{"entity-type":"item","numeric-id":5584558,"id":"Q5584558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$35647EBF-27E7-4190-AB82-135714275F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb55499c60f0e361fbc5aee5044c5a1c2ece839c","datavalue":{"value":{"entity-type":"item","numeric-id":5345642,"id":"Q5345642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$DAB13C35-C432-4A71-8E4A-F4EE81D4EFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad98c1f00c2902697afa59da1a022274f556ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1061754,"id":"Q1061754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$33F16E12-B69B-493E-906D-942EBCD41EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d325935e7d9863d1520fb807535dbe0273e319a9","datavalue":{"value":{"entity-type":"item","numeric-id":585231,"id":"Q585231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$6267ADC9-4CA2-4AE7-BD3B-C808777FE9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e99c7acaeb45f8db1afbcd684208074073e5915","datavalue":{"value":{"entity-type":"item","numeric-id":1164648,"id":"Q1164648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$37C0AD13-4194-4106-91F2-BCB3406618CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$02E72C7F-A693-48BE-8F05-0C8D0E585EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fdb8b0d0445e510d81cbcd07ba41ea7543866f","datavalue":{"value":{"entity-type":"item","numeric-id":802580,"id":"Q802580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$F818E219-3A2A-46E8-94ED-EBD038CC0CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcfe987d8cbbd43f7b7238b024d7a85de33a069","datavalue":{"value":{"entity-type":"item","numeric-id":3936212,"id":"Q3936212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801942$1C1D1EA1-AF65-4F07-A644-270497B07E71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb8fd82b48c49eb872f3767f4cc7be1b702c75d0","datavalue":{"value":"https://doi.org/10.1007/bf01190905","type":"string"},"datatype":"url"},"type":"statement","id":"Q801942$A83E0E29-6710-4EC4-856E-B13331E015CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"190ca1f8eeea50658317c0b3edc81ac4ff68e7a0","datavalue":{"value":"W2003227686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801942$7E346CCA-7676-4FE1-8BB6-E81EF0EEC8F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28055716d15c5127fc5083d8192b2bd0264d48fd","datavalue":{"value":{"entity-type":"item","numeric-id":1686197,"id":"Q1686197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1399999b17e440d3763e1780dc3b7f27d58f95","datavalue":{"value":{"amount":"+0.9464611","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":"Q801942$45F3EA09-AF11-4DE3-8AFF-724D2092CCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249fd6004241ab128e71b18bbcbfeace1c94d703","datavalue":{"value":{"entity-type":"item","numeric-id":1911836,"id":"Q1911836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a053460d4092caf5b1fb3e3cd5f9469e1578259b","datavalue":{"value":{"amount":"+0.9005003","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":"Q801942$E22C2B68-2948-4A97-88C7-66A4C20C7CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648853d556347f386e79389586c2f23a905fcf3e","datavalue":{"value":{"entity-type":"item","numeric-id":1187152,"id":"Q1187152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bbcd2888208f9e76b2c32c653af2d2bb641d56","datavalue":{"value":{"amount":"+0.9004891","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":"Q801942$66CAE9CC-7E3E-4124-AB49-5DABDF7884BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da128aa3b8d2cd2a4eb3308644a005be0b929c6","datavalue":{"value":{"entity-type":"item","numeric-id":3714093,"id":"Q3714093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c053533635906bd16f246d6fb62ba4cde282c18a","datavalue":{"value":{"amount":"+0.8942936","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":"Q801942$8A1B750B-DD5F-469C-910F-B9127FADF3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6d93f25db30db292961b439bb4e73a046b2a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3615922,"id":"Q3615922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9e55a3eeb5c867dff52239c5dc43668ea81bbd","datavalue":{"value":{"amount":"+0.8942935","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":"Q801942$1624F60A-40DD-4626-B89D-9FC96339FC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eabaf5e79013ceba8b75f3c0c10a7bb475228664","datavalue":{"value":{"entity-type":"item","numeric-id":5162650,"id":"Q5162650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7755bd6cfcb4e5440edd54833496f5b95036d9c5","datavalue":{"value":{"amount":"+0.88659626","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":"Q801942$2A290C9C-1EC5-4222-8B6C-97AD619FF8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64bf4b48c42b4f0bafef154a76ae28201564913","datavalue":{"value":{"entity-type":"item","numeric-id":1899441,"id":"Q1899441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7c5d80859e497cccb5f9020dc0ba4d9192b293","datavalue":{"value":{"amount":"+0.8797325","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":"Q801942$C6C2B3AD-9E0A-4AB1-BE73-AD811C2C67D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa68ddddc9a14ccfec626ae91b0d13d51cf4997","datavalue":{"value":{"entity-type":"item","numeric-id":1010721,"id":"Q1010721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf19d4de24d7f014eff354d36b1ed9aa814fd6e","datavalue":{"value":{"amount":"+0.8781932","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":"Q801942$57C9B6AF-45D0-45E8-B86D-8517EFC476E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7641d012201842fab6fe2e83ae4023e22788a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4429243,"id":"Q4429243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b687e149f2349c33883a56344c32168e8c29e96e","datavalue":{"value":{"amount":"+0.8777183","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":"Q801942$D1E16C0C-201B-4D36-868A-B424E91143B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattices of crosscuts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattices_of_crosscuts"}}}}}