{"entities":{"Q1765955":{"pageid":1776697,"ns":120,"title":"Item:Q1765955","lastrevid":48423052,"modified":"2026-01-04T16:52:26Z","type":"item","id":"Q1765955","labels":{"en":{"language":"en","value":"On operations and linear extensions of well partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2138852"}},"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":"Q1765955$897AD65E-5439-4633-9698-BF19DF55E811","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b20093efc590421a180538c1994fd6284ba488ff","datavalue":{"value":{"text":"On operations and linear extensions of well partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765955$7DBD34FD-5250-4503-8EB7-1872254C6021","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1f430e3a4ae00798c069316574f33b130cc8f13","datavalue":{"value":"1060.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765955$3CB98A8D-87D2-4FA2-BBBA-1F7086F62E37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ee2c64c800e784017308bcb325cc11a6ee643a3","datavalue":{"value":{"entity-type":"item","numeric-id":312794,"id":"Q312794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$E737FEA6-CDD7-4925-8968-0EE070751AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18a60110bd5a48427edd990609d08065e5a0a906","datavalue":{"value":{"entity-type":"item","numeric-id":1016090,"id":"Q1016090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$5384C84F-8853-4A5E-BF6A-B071AC1BF8E5","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":"Q1765955$A329ABFE-E223-4D56-ADF9-A41895DAABD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccd3afca070fb9c1f222b2e6f71567886f3a19c1","datavalue":{"value":{"time":"+2005-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765955$5783B424-9045-4BAA-9AB1-4B8EA4F0D5EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"666afbdeec6806b186accd8aafec563c1097bd52","datavalue":{"value":"The aim of the present paper is to investigate some operations and linear extensions of well partially ordered sets.  In Section 1 the authors introduce some basic concepts. If \\((P,\\leq _{P})\\) is a poset, then they denote by \\(P^{*}\\) the set of all finite sequences with terms in \\(P\\) (for an element \\(t=(x_{0},x_{1},\\dots,x_{n-1})\\in \\) \\(P^{*}\\), its length lh\\((t)\\) is \\(n\\) and, for all \\(i\\prec \\text{lh}(t)\\), \\((t)_{i}=x_{i})\\). \\( P^{*}\\) becomes a poset under the following two orders: \\(t\\subseteq s\\) iff \\(\\text{lh}(t)\\prec \\text{lh}(s)\\) and for all \\(i\\prec \\text{lh}(t)\\), \\( (t)_{i}\\leq _{P} (s)_{i}\\), and \\(t\\subseteq ^{\\prime}s\\) iff there is a subsequence \\(s^{\\prime}\\) of \\(s \\) with \\(t\\subseteq s^{\\prime}\\). They also construct the poset \\(P^{\\bigcirc }\\) consisting of all weakly decreasing sequences from \\(P^{*}\\) with the order \\(\\subseteq \\) inherited from \\(P^{*}\\). Moreover, they introduce the concepts of well-founded poset and partially well-ordered poset (in short p.w.o. set), and they establish some general results concerning these ones.  In Section 2 it is shown that if \\(P\\) is a p.w.o. set, then \\(P^{\\bigcirc }\\) is also a p.w.o. set. If \\(P\\) is a p.w.o. set, then each linear extension of \\(\\leq _{P}\\) is a well-ordering of \\(P\\). Let WO\\((P)\\) be the family of all these extensions. Section 3 is dedicated to presenting some information on ordinals that can be achieved by elements of WO\\((P)\\). The main goal of Section 4 is to prove that a tree \\(T\\) with no antichains of size \\(\\mid T\\mid \\) has reach not much greater than its rank.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$2DC9315D-709A-477D-8395-F0DEFC492053","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"600bbf2e5c48e27ebb39b8d602eb8f41c0c00d32","datavalue":{"value":{"entity-type":"item","numeric-id":424064,"id":"Q424064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$6E5EB58A-B76F-45FD-A354-10140B21F64F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765955$EEE39CE2-2E3D-4567-80BF-E4B533F6718F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3456d0c10cd8b51341af10b6a1fb9a95a5465e8e","datavalue":{"value":"2138852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765955$C6DFDB78-9730-4C22-B382-5843FAC4AB6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$C53FC0DB-F00E-4C8E-8675-3EBF04C6759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c604564cfd7a2876f543ebdc55f0dd742a28f669","datavalue":{"value":"well-founded order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$0B11CCF8-69C8-46A9-8F3C-FDA186177228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8907366476c5a051f7418e951f0322ae99d243","datavalue":{"value":"partial well-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$5837497F-08E3-4BC8-8500-F85B30C4C4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$1057A338-AA55-4D1C-9F94-10B2D926F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf98bea6de3dcf3a7edd1fca9d3b62359e75d8","datavalue":{"value":"width","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$D9A3C7DE-8760-4603-B097-849F7795B880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$6D700188-D4FC-4006-AF60-44FD537A9342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"311b860a0597dd249b584149fd2ab2e7e5bfa5ec","datavalue":{"value":"linear extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$814C94C0-E98F-4A80-A696-CD57805216D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765955$82BE3425-CEB7-418D-B8DB-CFCC0A5E9346","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":"Q1765955$BD2CD739-0E9A-4DA6-B8FC-3857CBB8115D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64951af6426c8175d8b47a41a8995b2282dc6fc2","datavalue":{"value":"https://doi.org/10.1007/s11083-004-2738-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765955$E7DDCA57-D8B8-4C55-9BF3-322C4BB729F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"824c63eddc6ca8b4e34e0611e896ee6898334c81","datavalue":{"value":"W2093159991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765955$C0CA4F23-8933-4D49-A52F-D14C15C6E2CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fffbf530d2c62698e6f397fc3397ceb9c40f0a97","datavalue":{"value":{"entity-type":"item","numeric-id":1120606,"id":"Q1120606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$03B0F1A2-5402-4078-9F73-A9626BFFB9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$608A6818-6E99-448E-B77F-00EF99F01614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$242CA365-3F48-4A05-BA6B-A4973FF01A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$09B73EC4-0D79-45E1-BF26-F2A6E2FDCBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f6ec2c18fbe650e412e0955597a8cc9ad61309","datavalue":{"value":{"entity-type":"item","numeric-id":3941409,"id":"Q3941409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$61EC690E-4DFD-4109-8061-492047034781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab75b370bd8bc96d49bfd17a9abf07fa43a86b3","datavalue":{"value":{"entity-type":"item","numeric-id":5793392,"id":"Q5793392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$9D5F7B60-AA25-45F8-9AE3-60C8A03D63D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88350baab8b01837cf8b9b138426f5ce1aa312","datavalue":{"value":{"entity-type":"item","numeric-id":4389695,"id":"Q4389695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$BE0A6F57-FA3C-47CD-881A-06F758DC9337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90dce10a942e4c996b7133a99b833d892b1cdf9","datavalue":{"value":{"entity-type":"item","numeric-id":1892123,"id":"Q1892123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$69DF2441-6D5C-4A8F-957F-865580C55E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53cfb68ec5afe5a789029a0dc16c302390c2746","datavalue":{"value":{"entity-type":"item","numeric-id":5532572,"id":"Q5532572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765955$01B2D819-4DAE-4F17-B2BA-2A7B163EBE0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c78c33f0f8969015fc81bedd7a7ba5471ca7bd76","datavalue":{"value":"10.1007/S11083-004-2738-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765955$E96DE1AC-722B-45A1-8CDF-B51B26684A57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b088351fb81ad0118d566251e3e0a2551f23f2","datavalue":{"value":{"entity-type":"item","numeric-id":5108104,"id":"Q5108104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db64a8f935ed92452ef2919fbf3e6d0d220fd98","datavalue":{"value":{"amount":"+0.8008494973182678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765955$C5BDE77E-BAA8-4F32-8CD1-7EA8F902615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47b7913e47f54f397e3cf7d7dfcb37edf2fd880","datavalue":{"value":{"entity-type":"item","numeric-id":3295157,"id":"Q3295157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747071a981a58fabf47c92a137810fd4cf226d43","datavalue":{"value":{"amount":"+0.7874998450279236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765955$3F19A00B-DE76-4B59-9EF0-625275BEAA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc5cdbe24d02c34942af5623c7737bc6bd225bd","datavalue":{"value":{"entity-type":"item","numeric-id":1874362,"id":"Q1874362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4592a70489deabe8913a800db9c62fedaf1d7942","datavalue":{"value":{"amount":"+0.7647210359573364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765955$F7D3AC04-8FDC-4589-8004-03A8CF09450B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1189561b2b9d25c7bf96a037e70250822f275ee","datavalue":{"value":{"entity-type":"item","numeric-id":3254413,"id":"Q3254413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4592a70489deabe8913a800db9c62fedaf1d7942","datavalue":{"value":{"amount":"+0.7647210359573364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765955$F9305F98-B068-4F41-9021-796836994419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d5f4f628aa178173b1d25610811c99ccf039c1","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610d86080698e3346036b5d191b85b0afda20d66","datavalue":{"value":{"amount":"+0.7610132098197937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1765955$6BE5B2CE-BA09-40FD-8174-E5D43FA1F8DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1765955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1765955"}}}}}