{"entities":{"Q861822":{"pageid":863670,"ns":120,"title":"Item:Q861822","lastrevid":64905240,"modified":"2026-04-11T23:00:43Z","type":"item","id":"Q861822","labels":{"en":{"language":"en","value":"Partition relations on a plain product order type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121373"}},"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":"Q861822$B4FDF8E0-5821-4B5A-83EE-6D35E1FB10F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7a742e829fe4372da738fc5cc578b6548c73bac","datavalue":{"value":{"text":"Partition relations on a plain product order type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861822$AD4D7868-959B-4F8C-B4E6-1FB73771F277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82cc57f4eb0f801bd6f393dfbe7811733db177e7","datavalue":{"value":"1114.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861822$9CEE9018-B3C4-4539-B13E-834EA2D83BDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"308f5c7506488592d269e48010a49cb1be0a2bcf","datavalue":{"value":{"entity-type":"item","numeric-id":438818,"id":"Q438818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861822$911AAD94-ADD1-425E-91BD-C8EC377344B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861822$CBA6E4D0-496A-442D-96E9-419C49248F5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"539267c31a7d3bcf05b384ccb35bcc69e5255213","datavalue":{"value":{"time":"+2007-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861822$2F0E3C98-EDB8-41B9-94A7-AE2D989E25FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b34399dea9dfa2bd956be3c0557a39d25d7f5f3a","datavalue":{"value":"Let \\(\\tau\\) be the order type \\(\\omega^*\\bullet \\omega_1\\) (of the set \\(\\omega_1\\times \\omega\\) with lexicographic ordering). It can be visualized as an increasing sequence of \\(\\omega_1\\) columns, each of which is an infinite decreasing sequence. The partition relation \\(\\tau\\to\\) (\\(\\tau\\), infinite path)\\(^2\\) means that every graph on a vertex set of order type \\(\\tau\\) either has an independent subset of the same order type or has an infinite path. A proof, with \\(\\diamondsuit\\), of \\(\\omega^*\\bullet\\omega_1\\to\\) (\\(\\omega^*\\bullet\\omega_1\\), infinite path)\\(^2\\) is included in this note.  In Theorem 3.4 the author shows: Assume Martin's axiom \\(\\text{MA}(\\aleph_1)\\). Then \\(\\omega^*\\bullet\\omega_1\\to\\) (\\(\\omega^*\\bullet\\omega_1\\), infinite path)\\(^2\\). Section 4 considers embedding a large part of an arbitrary graph on \\(\\omega_1\\times\\omega\\) with no infinite path in the comparability graph of a tree. Section 5 contains the theorem: Assume \\({\\mathfrak c}>\\aleph_1\\). For any graph \\(G= (\\omega_1\\times\\omega,E)\\) with no infinite path there is a subset \\(V\\subseteq\\omega_1\\times\\omega\\) so that there are only finitely many edges between any two columns of \\(V\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q861822$A6B30F18-F558-4F9C-A928-44A2578DBDBA","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":"Q861822$8D45C0F9-0654-4F39-A1F6-17913D34164F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861822$660D46A7-79A0-4483-A5E6-4360F0620E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861822$E08501B5-0406-4476-9C64-E281E9601722","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba2b7f57d6f3171f7ac4d68ce80c26f4cd44b00a","datavalue":{"value":"5121373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861822$42A6F0D0-0ECD-4E16-ABC8-38E4F3753392","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39d72418cfd7ee5f3cf2b32dacefeaf0c3c420e","datavalue":{"value":"partition relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q861822$09443657-2B47-456E-9085-05470E677619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q861822$D5B999E3-3542-4E0D-B755-3621EFA165C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q861822$4E89D1E4-EF05-48EC-B46B-529D947631C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584a0167d10ced793f99cd842b7269e619ec4828","datavalue":{"value":"diamond","type":"string"},"datatype":"string"},"type":"statement","id":"Q861822$A8B024AE-7698-41FD-B5B1-AC4A1F1F050B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q861822$B1491EF8-303F-42A7-8C0F-4A374CD67094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q861822$2BFADBA4-6350-451A-812F-1ED296858F0C","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":"Q861822$05DFA162-C80A-451E-8699-7DF6C36C4B78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"792da2a3d3ca2015bfb998b546f36f1ec0eb9141","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.05.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q861822$4EA1FB00-72E9-4F6A-808D-A66F31ACFB33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41adce915b80d44d78249fa828ee96e71134e80f","datavalue":{"value":"W2061059115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861822$0834F551-CF2A-496A-9D29-E0B200FEF80A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9433c7d70dd7723cb433c73b6a5d17a557249d06","datavalue":{"value":{"entity-type":"item","numeric-id":915724,"id":"Q915724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861822$538F7E23-AA2F-4440-9DA3-CCA8287858D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f03249db7189b7786be78cd2562f8f68f13c36d","datavalue":{"value":{"entity-type":"item","numeric-id":3222179,"id":"Q3222179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861822$E1155FF5-7A29-40AE-84C4-2F9F4AFFC971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd1caabb9c6fe46b1df0023f9c934e9fcf2744b","datavalue":{"value":{"entity-type":"item","numeric-id":3275936,"id":"Q3275936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861822$8C5157F3-58C6-4D83-BDD6-55CF61AEF5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15acff3e8e4e84219ed05d8704f7fce109294aed","datavalue":{"value":{"entity-type":"item","numeric-id":915725,"id":"Q915725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861822$A8207378-FDCB-47A4-887B-49A6E2E97500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713d43cbc86747531076756089200e63adbcc93d","datavalue":{"value":{"entity-type":"item","numeric-id":5522210,"id":"Q5522210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861822$17043073-89AB-4218-B743-62AC5A296B82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09b9ac8ca618b96d705c344f85664d5dfe3c52ab","datavalue":{"value":"10.1016/J.APAL.2006.05.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861822$8960DC13-B316-426C-8FF3-0C57C22DC02A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2927c8b4efd1e2bcbc9eefd383e22fe5a835e40","datavalue":{"value":{"entity-type":"item","numeric-id":5135930,"id":"Q5135930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289454a5576213a71285efdc6f6ac3be307cce8a","datavalue":{"value":{"amount":"+0.9001128","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":"Q861822$55EF8E16-CBBE-43C7-895D-43E8BBC2CE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2260fce58bf4b78dc2899ade633a3b90ac25adf2","datavalue":{"value":{"entity-type":"item","numeric-id":1082334,"id":"Q1082334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67c9f5fa5a506577daba4607d151f89a2bec8db","datavalue":{"value":{"amount":"+0.8824823","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":"Q861822$4196A390-5A75-4ED9-89BC-46C11BF918FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ca1fdb342a0a15c11c8074268dcbffa29d1e1f","datavalue":{"value":{"entity-type":"item","numeric-id":1325962,"id":"Q1325962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a5d105596db4892cff64adb338165b2321301a","datavalue":{"value":{"amount":"+0.872405","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":"Q861822$E01B6815-179A-47B4-9C3D-83F25A9E9095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5efa3b9c2800b9d6c5e62fbe4b6f800c6b7fa4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4655904,"id":"Q4655904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d911a34e157da0a4b8f174794a3a6d554db0d64","datavalue":{"value":{"amount":"+0.85345316","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":"Q861822$2ECB8629-B167-47C4-A0D6-AB1C638394EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a4e6dc72ac74b11ace41e0c3810fb1b83464e7","datavalue":{"value":{"entity-type":"item","numeric-id":3848197,"id":"Q3848197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34a1218a98e03bbb0ade40f05a0ad89023e8b84","datavalue":{"value":{"amount":"+0.85150516","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":"Q861822$A98343FF-9E7F-4AD9-AB28-15119BFE5E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5217875b55e44496a6e32bbd9a273482281fa5","datavalue":{"value":{"entity-type":"item","numeric-id":919013,"id":"Q919013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a4515526ee892f6602a49e9d0267da597bebc0","datavalue":{"value":{"amount":"+0.84343815","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":"Q861822$BF53C6BE-908D-4901-9E5E-38A19F5097AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b05e6b803ce5448c9d5917691871fd8bc59a8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5234218,"id":"Q5234218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fab727116fab2b3794b7ca7dbaba4ee448405a","datavalue":{"value":{"amount":"+0.83984464","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":"Q861822$E1D2931A-1911-4721-9DF5-41B11B2D52AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d0f7c6f1d70c6aab90fbd6e25c25754c60307d","datavalue":{"value":{"entity-type":"item","numeric-id":579957,"id":"Q579957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d54b9ae683d12177ca24386b875df7a206d453","datavalue":{"value":{"amount":"+0.8393048","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":"Q861822$FDB9CC0B-74B9-4D56-A207-7C01C35DFB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234d2cf7ccc747c82f0ad89275fc19c5a5b9326d","datavalue":{"value":{"entity-type":"item","numeric-id":2559470,"id":"Q2559470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b249d9c689ddf95fa2846062731dd0145bfda03b","datavalue":{"value":{"amount":"+0.83917975","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":"Q861822$F6E2009D-6987-4883-A75F-9A491EFF2E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff7e341922c478685106900160d533ff4c3daa1","datavalue":{"value":{"entity-type":"item","numeric-id":2857591,"id":"Q2857591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a3d3922ffc60804bbfeb62266dd412c540ebe7","datavalue":{"value":{"amount":"+0.8389756","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":"Q861822$E728658D-8B48-40E2-A73D-09B05BB2EF5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partition relations on a plain product order type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partition_relations_on_a_plain_product_order_type"}}}}}