{"entities":{"Q1874362":{"pageid":1885104,"ns":120,"title":"Item:Q1874362","lastrevid":73049742,"modified":"2026-04-14T09:52:53Z","type":"item","id":"Q1874362","labels":{"en":{"language":"en","value":"The order type of the collection of finite series-parallel posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915543"}},"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":"Q1874362$30101EAB-34BA-4FBF-A624-26494C6618DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35251e6a341e228f9bdd9b87477eb1c493a81ee2","datavalue":{"value":{"text":"The order type of the collection of finite series-parallel posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874362$E4185C5A-CC9D-4088-9BA8-949504F620F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"798f6f53d9cccec09f0e4f964bc456ad8f532a7c","datavalue":{"value":"1023.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874362$2DB8A810-88EE-4B5F-BA66-6E4636076F70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"800e5c2ece1e07f6ddab665a7c4310e2658f5bab","datavalue":{"value":"10.1016/S0012-365X(02)00580-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874362$5CA7D084-09CC-4874-BDFD-ED274A96BF50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e0030acd98cbe4786cbae362aba391b5681a10","datavalue":{"value":{"entity-type":"item","numeric-id":186055,"id":"Q186055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874362$393A937B-8EDA-4E9B-8DEA-978D5D657D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd3f15d5bae50b9320c719074367dea557f7777","datavalue":{"value":{"entity-type":"item","numeric-id":186056,"id":"Q186056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874362$E212869F-5483-4FF0-AF14-EEB64836CA1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874362$66B4EDBD-4859-4F07-8BA6-7CB09C3FE1E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-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":"Q1874362$D238B0E3-EAB3-43CE-83C0-F096B09FF214","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec6c8163af7f9f394cd1565ea551a83f962eafd9","datavalue":{"value":"If \\(R,R'\\) are relational structures, \\(R\\) is embeddable into \\(R'\\), in symbols \\(R\\leq R'\\), if \\(R\\) is isomorphic to some substructure of \\(R'\\). This relation \\(\\leq\\) is a quasi-order and induces an order on the collection of finite substructures considered up to isomorphism. The ordinal length \\(o(P)\\) of a wqo-set \\(P\\) (wqo = well-quasi-ordered) is the greatest ordinal which is the type of a linear extension of \\(P\\) -- it exists due to a theorem of \\textit{D. De Jongh} and \\textit{R. Parikh} [Nederl. Akad. Wet., Proc. Ser. A 80, 195-207 (1977; Zbl 0435.06004)]. The height \\(H(P)\\) of a wqo-set \\(P\\) is the least ordinal which is greater than all types of subchains of \\(P\\). A forest is a poset \\(F\\) such that for each \\(x\\in F\\) the set \\(\\{y\\in F\\mid y\\leq x\\}\\) is a chain.   Theorem 1. The collection \\({\\mathcal F}\\) of finite forests, considered up to isomorphism, is \\(wqo\\) under embeddability and has ordinal length \\(\\varepsilon_0 \\). (This is the least ordinal \\(\\alpha\\) such that \\(\\beta<\\alpha \\to\\omega^\\beta< \\alpha)\\).   A poset is said to be series-parallel iff it does not embed \\(N(=\\) the 4-element poset of which this is the Hasse diagram). Theorem 2. The collection \\({\\mathcal N}\\) of finite series-parallel posets, considered up to isomorphism, is wqo under embeddability and has ordinal length the Feferman ordinal \\(\\Gamma_0\\) [\\textit{S. Feferman}, J. Symb. Log. 33, 193-220 (1968; Zbl 0162.02201)].   Finite series-parallel posets form an age in Fra\u00efss\u00e9's sense [\\textit{R. Fra\u00efss\u00e9}, Theory of relations. North-Holland, Amsterdam (2000; Zbl 0965.03059)]. Then it is proved that the height of \\({\\mathcal N}\\) in the collection of its subages is also equal to \\(\\Gamma_0\\). Further, for the height, \\(H({\\mathcal F})= \\varepsilon_0\\) follows.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$1DC6AED4-BBFD-44A1-824A-74E45FD0873B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874362$6654ADF5-FAF0-4456-9F18-563417E9FBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874362$2D0442CD-8595-49BE-88DD-CBD5C68D1AAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51209e05484c37e851684aa7f50b4acc07d677b1","datavalue":{"value":"1915543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874362$44D74328-B3B0-4B7B-82E6-ED2B18783D04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"704e9067ecee50866c9535365027d923b5d05d55","datavalue":{"value":"Feferman's ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$FA1F2CAA-CA41-4FF8-9C8F-DB21044A3F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0378c51c2c332d2e3dbcf4869c0305deb0fb14c","datavalue":{"value":"height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$8A363399-0FD1-4053-B99C-006344FDD176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17e6ae9b867422c74c57803f3e832b5fa7ebe3b3","datavalue":{"value":"ordinal number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$C986250D-DF27-42CB-A692-A97DAF3779E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ecdbbf72480ad1dc9fe8b27f16a396788c1be7","datavalue":{"value":"ordinal length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$0121F4B5-B722-4683-807E-85CF30B397B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9210d6db36940a443d4266c2435b27948e64ce","datavalue":{"value":"relational structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$660BD9F3-2852-47DD-BC31-F816BD0A2E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd722232c4f35da3a742b7dd0939e8297df61c","datavalue":{"value":"well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$DE64EE3D-D2A0-4FE9-A0F8-EF288822254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c662b644cf3bfb15ff11ba35b40c3bbf14ec7","datavalue":{"value":"order type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$C5BE1636-0818-4EF9-87DF-1FE6BB477A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cf470b52797086e1b2eada1cd4da1924faa5a0","datavalue":{"value":"profile","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$5DA9D86A-C0C8-45FE-83E8-DB6CFE82EB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc79eafc1d9ceb1ab79797a36449e9df369395df","datavalue":{"value":"forest","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$41ED7D6A-A4DD-42AD-873B-43AE3D5D7A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e746a98ea5d971842ba2bbae587ab6b8be1c51","datavalue":{"value":"series-parallel posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$3133D549-D5AE-4DE9-97AD-8B74AC4FAC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64337aa982ecc7c2efdbf03df3dbd55e2a457806","datavalue":{"value":"age","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874362$CAFF877E-3277-4F89-B287-103EFBD8E45B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874362$E15AA94B-E620-439D-844F-7A0C951808B3","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":"Q1874362$ABDF4BA2-B751-4ED6-B16F-9FE8AEF2B0C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5267f63d11233878d38f9811d4e1b8c34b7552","datavalue":{"value":{"entity-type":"item","numeric-id":4955694,"id":"Q4955694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2311378acb161c57ec25c9c12f52cd63b5e6b15","datavalue":{"value":{"amount":"+0.8072379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$0B9630CD-D45C-487F-8D21-18ACB24A7265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33da628d612447ff77483216a7b41451efdacf33","datavalue":{"value":{"entity-type":"item","numeric-id":862984,"id":"Q862984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14a199bb7f8b3efd19b4dd75e8d7e172f3cca1c","datavalue":{"value":{"amount":"+0.72748864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$C4FD0EB0-2AF5-4D2A-A7A9-87F56CE485A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721acb4a9a666d344f3575b0606347bdd4694576","datavalue":{"value":{"entity-type":"item","numeric-id":3295145,"id":"Q3295145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9f1fadb9797f582cf6927336c03d652edd3e91","datavalue":{"value":{"amount":"+0.7254637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$55AF47AF-7809-4DDD-98E2-EB6412D13EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad8ceb4db6f30e3c8e03107121a57f1ec82ee9c","datavalue":{"value":{"entity-type":"item","numeric-id":5964929,"id":"Q5964929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d096020c6492b1607ea68a3991b2c73bda2dee00","datavalue":{"value":{"amount":"+0.7095034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$2533ACD3-6F07-4045-A0DD-0739941B6AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5814191da4756b1315bb920e853ac99ec2da4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1825201,"id":"Q1825201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cf865ac1e724eb8ba2922df0fbd654cb929770","datavalue":{"value":{"amount":"+0.7014191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$2ABBDBAD-1137-48E9-87B0-43177C046E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485f46eb5cf9487f6199e50f8d1df04b2b9ee3c9","datavalue":{"value":{"entity-type":"item","numeric-id":3507434,"id":"Q3507434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923d384b867ef887fa200b089b3db91e54297b4c","datavalue":{"value":{"amount":"+0.70091826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$58B01A7D-F24B-48F6-9C7B-342C04E518D5","rank":"normal"},{"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":"8e2abbf4675e84b8f473c7fa8b3e31c1123ec823","datavalue":{"value":{"amount":"+0.6930318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$711D465A-01F3-4E72-9911-E1D82A80B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5801287d0042b5891426c7ced79951254134d455","datavalue":{"value":{"entity-type":"item","numeric-id":1318361,"id":"Q1318361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce61f44eb22b0c8e366761bd1fc757b72211021","datavalue":{"value":{"amount":"+0.6928407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$53E240A3-4450-4004-B645-81EF4796EE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b295a72601f6e898c3216224998814ec85b310d","datavalue":{"value":{"entity-type":"item","numeric-id":1765955,"id":"Q1765955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956933779214090ff38a7a9618007a73ee0d3a60","datavalue":{"value":{"amount":"+0.69068366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$B815919D-959A-4EC7-9C4D-ACDB3E442D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f43894e5beae82546c070dd12916480b9452bd","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11202a73d716857ed6dd5de4a4e58a041338066b","datavalue":{"value":{"amount":"+0.69023377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874362$47CE0B8D-56EE-46AC-A99B-4189C79A3095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The order type of the collection of finite series-parallel posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_order_type_of_the_collection_of_finite_series-parallel_posets"}}}}}