{"entities":{"Q836116":{"pageid":837964,"ns":120,"title":"Item:Q836116","lastrevid":64704108,"modified":"2026-04-11T21:40:11Z","type":"item","id":"Q836116","labels":{"en":{"language":"en","value":"A partition theorem for a large dense linear order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5600329"}},"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":"Q836116$71A718AD-662A-47B7-B697-B9E17E465962","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ad297e774276c1bbc597c919130719fd143b5e7","datavalue":{"value":{"text":"A partition theorem for a large dense linear order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q836116$FBBC571E-7934-4A83-A462-CB023BD67982","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1963243555cb4874332b3e54caf09f5a799e98b9","datavalue":{"value":"1184.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$2FC45C11-060D-431E-90B8-6427D9A460A4","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":"Q836116$09073344-58C8-4429-BA65-A5B9FE356747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a3fc036e9bb495a4fb42d2c9f76fe53da20ea97","datavalue":{"value":{"entity-type":"item","numeric-id":242612,"id":"Q242612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$B0F3EF56-F78A-4821-AD81-473D7DAEC0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7de47c3ec68b0b7b2a80923314e788ab2246fa9a","datavalue":{"value":{"entity-type":"item","numeric-id":446250,"id":"Q446250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$A22F09E4-F977-4C36-A026-A2982D54E7D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$ED4AA735-8761-4FBE-9BA9-F148A0B42219","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"049debda757703127da2fc03ca0a1b5b826f121d","datavalue":{"value":{"time":"+2009-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q836116$2488A38C-3259-4750-A567-5C344BE5B2E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b7d850d6fe40d36a7a3d49d43412b33c725631d","datavalue":{"value":"https://arxiv.org/abs/math/0506123","type":"string"},"datatype":"url"},"type":"statement","id":"Q836116$36D77B3E-CE10-4263-B746-AAACD6F7315A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4601a226654c055300178c4ad902969bc9d718be","datavalue":{"value":"For \\(t<\\omega\\), \\(\\mathbb Q\\to (\\mathbb Q)^n_{<\\omega,t}\\) means that, when one colors \\([\\mathbb Q]^n\\) with finitely many colors then there is a copy \\(\\mathbb Q^*\\) of \\(\\mathbb Q\\) with the property that \\([\\mathbb Q^*]^n\\) is colored with at most \\(t\\) colors. D. Devlin proved that for any \\(n\\), \\(\\mathbb Q\\rightarrow (\\mathbb Q)^n_{<\\omega,t_n}\\) and \\(\\mathbb Q\\not\\rightarrow (\\mathbb Q)^n_{<\\omega,t_n-1}\\). Here \\(t_n\\) denotes the \\(n\\)-th tangent number which may be computed using the power series \\(\\tan x= \\sum_1^{\\infty} t_n \\frac{x^{2n-1}}{(2n-1)!}\\).  The main result of the paper is the following: For every natural number \\(m\\) there is a \\(t^+_m<\\omega\\) such that for any cardinal \\(\\kappa\\) which is measurable in the generic extension obtained by adding \\(\\lambda\\) Cohen subsets of \\(\\kappa\\), where \\(\\lambda\\) is some cardinal satisfying \\(\\lambda \\rightarrow (\\kappa)^{2m}_{2^{\\kappa}}\\), the \\(\\kappa\\)-dense linear order \\(\\mathbb Q_{\\kappa}\\) satisfies   \\[ \\mathbb Q_{\\kappa} \\rightarrow (\\mathbb Q)^m_{<\\omega,t^+_m} \\quad\\text{and} \\quad \\mathbb Q_{\\kappa} \\not\\rightarrow (\\mathbb Q)^m_{<\\omega,t^+_m-1} . \\]   In order to obtain this result, the authors start with a theorem of Shelah which is a generalization of the Halpern-L\u00e4uchli theorem. Further on, they characterize \\(t_m^+\\) as the cardinality of a certain finite set of ordered trees and obtain an upper and a lower bound on this value. In particular, \\(t^+_2 = 2\\) and, for \\(m>2\\), \\(t^+_m> t_m\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q836116$9ABC0273-0F17-4E8A-BC01-5AEBFD91E69C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$0656A804-E81E-4071-A18A-9C8DDFB2D2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$25718C29-D4E0-429A-B42D-2D841FE38E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$7C8465C5-2AD4-40B3-8E34-E839A3CCC299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$59EF904C-3E08-4143-ADF8-8E6A1A090CFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a3ae09601caa9ac3990a32b7d12fb5606612d72","datavalue":{"value":"5600329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$0DF100BC-65EE-4049-BD87-29F412B745AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a72b934a656e2c47eddbd3400ba9c4fde345892","datavalue":{"value":"partition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q836116$F68FEA55-630E-4B6A-900C-4507B4C90175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f393842e4bab743075839d648a361e4843e310d2","datavalue":{"value":"dense linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q836116$0EB84744-0B0F-420C-9967-EF8DB4DD1F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a67cb217457095b82c82f15bdc868152770b57","datavalue":{"value":"strong embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q836116$C6D84E23-BC53-45D8-B336-44C32949E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b999a30face15aad7449f079f4627b1e5e0eb2bc","datavalue":{"value":"coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q836116$2FCF1C9E-BAAD-4352-B95B-B00EA0AF5CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861a0f8328db8e1dba036ed1e618222b651c3047","datavalue":{"value":"ordered tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q836116$CABB470F-08B8-45FB-A15B-5655FC4CC7CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$7B84B5C3-FEA9-44DD-B3E5-142246500063","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":"Q836116$498F1C4F-D51A-4B40-8639-DF1D4C2A2880","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"674486baff0ef64b2d7c642347ee5ce905beef9e","datavalue":{"value":"W2069736729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$E791DCF8-C231-4503-AD26-6C100813DF0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c51d4adb8be261ea9dd288097283cd1c5d0c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2501207,"id":"Q2501207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$35421918-7DAB-4601-BF16-09AE776131C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cf99752a453787d97420fd4e3449f6f2ef1f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4948524,"id":"Q4948524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$C21B8EA2-BA0F-4B17-B9B6-2A6AFFE2BE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c41004c8f4f86558342b6cccde6f87f16a9e0a8","datavalue":{"value":{"entity-type":"item","numeric-id":1271912,"id":"Q1271912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$07E8BD57-A491-4698-BEC7-0AF1BBE7FF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7597068ac110925e9a522a2ccf924621f26f7471","datavalue":{"value":{"entity-type":"item","numeric-id":5541372,"id":"Q5541372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$ACC9A8A9-F9A6-4715-BBBD-5E6E2B391F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57899358e3494e0f92133e05bf49d0f478aa4863","datavalue":{"value":{"entity-type":"item","numeric-id":858113,"id":"Q858113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$3438BD89-D4F1-413A-9974-896978582266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b12b8afcd7ce10003fb014a71b600b2bc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":1247322,"id":"Q1247322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$490272EA-8404-448D-9937-83A3E424BBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07a588b2f2db42b3d245ef64dd424d86c78a0ba","datavalue":{"value":{"entity-type":"item","numeric-id":1924235,"id":"Q1924235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$EC5DCC93-2DB7-4B62-8E57-5D0682199FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8dfbfd63f970a4db5e8be32937a0366e28da7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1137591,"id":"Q1137591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$AF4D9F30-1633-484B-B618-B0E09965BEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656c124b63d91a563cd9660aa5bfeef0497bf982","datavalue":{"value":{"entity-type":"item","numeric-id":858115,"id":"Q858115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$457C8EE2-FB1A-47AC-99A6-1741BC8423EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$F1A43A53-8360-4857-BBAD-7EC29E080BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8725f772e4ec8f9931c815c67e53ae5f0a73231b","datavalue":{"value":{"entity-type":"item","numeric-id":5475906,"id":"Q5475906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$33634262-0615-4B43-9DEF-227367D73B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978b294b47acc9465de6ecccafed3ded88be6092","datavalue":{"value":{"entity-type":"item","numeric-id":4536048,"id":"Q4536048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$49C2BDA9-FBC8-4E62-92C2-9791ADCD2D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935f7879b481ee08e55c0d0e2cfcfe73d6b725f0","datavalue":{"value":{"entity-type":"item","numeric-id":817599,"id":"Q817599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836116$FE33D999-E1E0-431C-A1E9-A03100198152","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c77ab12a55f06803205005fadd67fca6312d8fb5","datavalue":{"value":"10.1007/S11856-009-0049-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836116$1080FD38-6F6A-4CE8-BBA7-E960A4693B08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52b0b94c8b7f7f4b3e264302c1dadefb273c6ac","datavalue":{"value":{"entity-type":"item","numeric-id":834717,"id":"Q834717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac47ed0012a1243b8a2528d2ce3a75c868ab42a","datavalue":{"value":{"amount":"+0.7962256669998169","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":"Q836116$B63E3C24-A492-4C03-974F-6C4DC8DDF6DE","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":"1012e7735589c8053fb82a2fb6d1305ffb6bd269","datavalue":{"value":{"amount":"+0.7495520114898682","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":"Q836116$8B118369-03E0-4820-AE70-680395EA9DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a2a31305e43a11f9053531d4e00f633e8f7385","datavalue":{"value":{"entity-type":"item","numeric-id":3337466,"id":"Q3337466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c996ea0230c7515c589f94b6638c02e93a3d754","datavalue":{"value":{"amount":"+0.749418318271637","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":"Q836116$4F88E513-62EF-49EA-986D-E618C51D8C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a9b8476c7e0a5746cda6f3f559dd9a99f732c1","datavalue":{"value":{"entity-type":"item","numeric-id":532124,"id":"Q532124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d74d5691210bee86ae1012515b02fa0c1e5c361","datavalue":{"value":{"amount":"+0.7430602312088013","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":"Q836116$725729E6-99AC-4619-BD21-A71879B0E83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d43f9da7e99d5530c6e975af218ddd45136e37","datavalue":{"value":{"entity-type":"item","numeric-id":1566356,"id":"Q1566356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df29357d3e5bcda421db146eeb0824ea93bcc363","datavalue":{"value":{"amount":"+0.7394602298736572","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":"Q836116$EB287B11-7A39-47ED-B4CD-C9FC798CA20C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A partition theorem for a large dense linear order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_partition_theorem_for_a_large_dense_linear_order"}}}}}