{"entities":{"Q1774085":{"pageid":1784827,"ns":120,"title":"Item:Q1774085","lastrevid":68924721,"modified":"2026-04-13T03:08:50Z","type":"item","id":"Q1774085","labels":{"en":{"language":"en","value":"Cofinal types of topological directed orders."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2162445"}},"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":"Q1774085$D9A5F480-67E3-4BC4-A18C-EEABA3BDD02E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fba975206dbc96642686c1cec996a708e8a96822","datavalue":{"value":{"text":"Cofinal types of topological directed orders.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774085$F2485572-754C-4982-AF40-B79B1A088ABD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc6717c4e11e58eb1632f196a0c9a2bf795f34e7","datavalue":{"value":"1071.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774085$2360D5F5-56D6-4AE9-89A3-0218841FD91B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c95457eed31152736b3fcc97aee8818e00189b1","datavalue":{"value":{"entity-type":"item","numeric-id":171182,"id":"Q171182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$0C656501-B380-4EBD-885F-6BC0FA403D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dfdf655f4c4510ce586943d11ba9dbf60caf665","datavalue":{"value":{"entity-type":"item","numeric-id":178067,"id":"Q178067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$332C0638-27FA-4DFA-B4B1-BC0E0E4BAC91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1774085$8EA63F49-14C3-4C45-A1A3-9FD080177C61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35582fa7ad23c63b318c92b3064bb7f1bfdfab0c","datavalue":{"value":"http://www.numdam.org/item?id=AIF_2004__54_6_1877_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774085$2C624167-18BA-4546-AA25-67DA1EE81CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf82bb8d4e185471c5af9d9689c5a98e29851bad","datavalue":{"value":"https://eudml.org/doc/116163","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774085$8F65CF3F-6373-4978-9AAE-E902D84A58D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0640135875c9ae48605d1f424350ded0fe93b036","datavalue":{"value":"A directed set \\(D\\) is Tukey reducible to a directed set \\(E\\), written \\(D\\leq_TE\\), if there is \\(f:D\\to E\\) such that the preimage of each bounded subset of \\(E\\) is bounded in \\(D\\). The authors investigate the structure of the Tukey order among partial orders belonging to two major classes: the class of analytic \\(P\\)-ideals of subsets of \\(\\mathbb N\\) with inclusion and the class of \\(\\sigma\\)-ideals of compact sets with inclusion. In fact, they define a natural family of the so-called basic orders containing both of these classes and establish results in this greater generality. \\((D,{\\leq})\\) is said to be basic if \\(D\\) is a separable metric space, each pair of elements of \\(D\\) has a least upper bound, the operation of the least upper bound is continuous, each bounded sequence has a convergent subsequence, and each converging sequence has a bounded subsequence. The authors prove that if the topology on a basic order is analytic, then it is Polish. This is used to prove that analytic \\(P\\)-ideals are the only ideals on \\(\\mathbb N\\) which can be made into analytic basic orders by strengthening topology on them. Further they prove that if there is a Tukey map between basic orders, then there is also a definable one. They define a general type of property of basic orders which are invariant under Tukey reducibility. Using these general invariants they establish several results on Tukey non-reducibility between concrete partial orders. One of these results concerns the relation between measure and category. The authors define and study a functor \\(I\\to D(I)\\) between ideals on \\(\\mathbb N\\) and systems of monotone compact sets. They prove that for analytic \\(P\\)-ideals the functor \\(D\\) respects the Tukey order, \\(D(I)\\leq_TI\\), and \\(D(I)\\leq_TD(I_{1/n})\\), where \\(I_{1/n}=\\{x\\subseteq\\mathbb N: \\sum_{n\\in x}1/(n+1)<\\infty\\}\\). Finally, they prove that each analytic ideal has a cofinal \\(G_\\delta\\) subset.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774085$7B8940F2-93C5-441E-8D81-1298621CCD7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$60FABF61-615A-498D-B8B0-30953496ACE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774085$25EEE5F5-DB93-4689-B51F-5519B950F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774085$31683554-2278-4D80-8962-D1F08081BD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774085$6857AEF5-65E1-4373-A324-EE6DB429AB40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2597af41a70aba39b684a407db75ee64bdd081e","datavalue":{"value":"2162445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774085$BE138239-9C65-48A8-8757-4659E1B51634","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f20f96b0c7ec728cc2c48d368c583f33555285","datavalue":{"value":"Tukey order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774085$F2C431A7-ED3D-41D2-8D67-A6C96C2C1EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a1df9dcf7fa8072f90796d26a16eb678741af0","datavalue":{"value":"analytic ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774085$85E611C9-F88A-47D7-A2FE-6AD0703C2347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c21ac432baae5021d8cea2184e4b3ff6818a0ef","datavalue":{"value":"\\(\\sigma\\)-ideals of compact sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774085$1A468A15-7F16-4FA9-885F-59912E61EE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571f0bd2afec36f8c923a0c7a587f3e62a896139","datavalue":{"value":"Tukey reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774085$F0652AF5-D929-4F87-94B4-C3F0CD1E1402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ef7c0c509c5de0e4e2043185cf4f16ac9e5ff2","datavalue":{"value":"measure and category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774085$0E9FA4CC-1EB4-42A8-AA10-839AD8CDAFFD","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":"Q1774085$05A7A72F-7B9F-44F6-A8EE-56D2590C8C78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7ef17b8121477f780b7b696c16b0b5f95766a47","datavalue":{"value":"W2122005522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774085$EE090842-5D68-4952-BF0F-991FE8B3AE05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39542c0fec05db3eb4c576871c2bcecb87e0cc3","datavalue":{"value":{"entity-type":"item","numeric-id":5181909,"id":"Q5181909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$EF9E0C9E-4376-4975-9E89-488E6DC1C227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7e2f18740d787c6e9573fd02680fdf61385f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4516349,"id":"Q4516349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$02B80FFD-5A3E-48E2-A127-C17CD79CB2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ac4c5339e7c9ee33517eed888983e083bc9277","datavalue":{"value":{"entity-type":"item","numeric-id":4289973,"id":"Q4289973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$904214B4-7A72-4609-B855-CB7A03B7C1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902f7a0d5779ef2d009e11bf62d32e8fa8557f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3974569,"id":"Q3974569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$B45CA6B7-7FB9-4427-8F61-E0943C8461EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5651bb09cfbcca4dc6ab6624cb6a414a8969ff3c","datavalue":{"value":{"entity-type":"item","numeric-id":5648392,"id":"Q5648392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$86F4064B-13B4-41A1-A175-A4815DBA6AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$C0FADE34-9674-4333-8F6C-6C4CDF6F57EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139709d0c9ebe66534cc492225467be3e38e9de6","datavalue":{"value":{"entity-type":"item","numeric-id":3770521,"id":"Q3770521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$96A4C103-8F82-4A13-AFD3-D5A3A21866EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317c652fe0d8e2d40a4e2d4605e3098d63b43fa8","datavalue":{"value":{"entity-type":"item","numeric-id":1304545,"id":"Q1304545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$A7FF92B5-06A7-4DA9-A30E-13EC25BB67B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6525ce7196c420946e34e96a24e6c274b1023a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1304540,"id":"Q1304540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$58DEEFAD-880D-422D-9C19-F8E12BA3F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791448135b660653d01f4746a1cee35c2f43fe5b","datavalue":{"value":{"entity-type":"item","numeric-id":3720587,"id":"Q3720587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$81982A3B-87AC-4041-8138-2680606A9636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05720b9552b36e36a946821312df96dc138f0486","datavalue":{"value":{"entity-type":"item","numeric-id":3837242,"id":"Q3837242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$0338AA6E-C44C-4305-9E46-6B3446D3DD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb880cb0bded20c356268d6c48cdc55f2d05ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4882397,"id":"Q4882397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$39F13D0B-E9EF-4DBF-9275-E880D92DC867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df83667a05119297ffc5bb187d4753ac0fa705f0","datavalue":{"value":{"entity-type":"item","numeric-id":4379938,"id":"Q4379938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$CAD343E6-A9FA-4789-93DC-694EE5A564E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad898cdbd8424e3dcc3fb8687a18d4809dbf95a","datavalue":{"value":{"entity-type":"item","numeric-id":5779423,"id":"Q5779423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$D2AB400F-3087-4540-93FF-64F091965F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52896bfc2c2bdfc44accd542a0e84eaa774cf5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3484828,"id":"Q3484828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$E640B114-FA5B-407D-B0AA-4BB4B4350C48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e4a492dd6bb19ff5c0414c2864bf625bada57ee","datavalue":{"value":"10.5802/AIF.2070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774085$696A57E6-4E19-4409-BB47-E15352C12852","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc1a1beeefbfbbcf5aa3adaae27b74e0e5ad168d","datavalue":{"value":{"entity-type":"item","numeric-id":4557581,"id":"Q4557581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774085$09328EDF-33EB-4118-B0B0-A245F5092689","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4086c8e69c1d76ccf52cbbc19a58443bb860fe","datavalue":{"value":{"entity-type":"item","numeric-id":1304545,"id":"Q1304545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82599ccaa421818e7228f6dae1a184fe341c6292","datavalue":{"value":{"amount":"+0.8433395028114319","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":"Q1774085$5E6AEC87-9203-4699-82DC-C70E8D878512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f19b4e52711d9c0ec1f3d542c43144a4034d492","datavalue":{"value":{"entity-type":"item","numeric-id":5279177,"id":"Q5279177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfccc136d8d1d1a73d5518b49bbd9a27ed808ab","datavalue":{"value":{"amount":"+0.8011178374290466","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":"Q1774085$3D173CE7-65DD-4EE3-B70B-1360DDC14428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac326038e3ae2a5b20981dd8e86c454a3ef5536b","datavalue":{"value":{"entity-type":"item","numeric-id":2805030,"id":"Q2805030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4eb4d3693c9777562867ba99ab4671498df46f","datavalue":{"value":{"amount":"+0.79227215051651","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":"Q1774085$00750FCF-4910-4795-ACBB-453FD1BB1616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded6b0bd4c7c5d09f81b6bd12bd0ae50822fb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1745354,"id":"Q1745354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0cfe1c23b673ade5f1f8b327bc2251d764c8a16","datavalue":{"value":{"amount":"+0.7891286015510559","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":"Q1774085$AA908E49-4770-41BC-B6BC-F6FB333D9FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d77c9a050aab081e1bd47c5158cb2da5c45d15e","datavalue":{"value":{"entity-type":"item","numeric-id":2413418,"id":"Q2413418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92907836eb7786f78b7c05e4b53108902f72460c","datavalue":{"value":{"amount":"+0.7879273891448975","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":"Q1774085$31DB7F60-2CE4-427A-87DA-3429F404EA56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cofinal types of topological directed orders.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cofinal_types_of_topological_directed_orders."}}}}}