{"entities":{"Q1400599":{"pageid":1411339,"ns":120,"title":"Item:Q1400599","lastrevid":67353609,"modified":"2026-04-12T17:03:23Z","type":"item","id":"Q1400599","labels":{"en":{"language":"en","value":"True cofinality and bounding number for small products of partial orders."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963863"}},"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":"Q1400599$D6FF3E62-E2D1-485F-A639-F2BDF4570B19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14ecf91b626dffd835e66266cf07e307f726e321","datavalue":{"value":{"text":"True cofinality and bounding number for small products of partial orders.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400599$664CC391-A615-4C43-A8C0-7432C19EABB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39646855c9183064d864b5d664f59d368e7abc34","datavalue":{"value":"1044.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400599$6743E7F8-D574-445B-91BB-257E8DE0B142","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6533a3be02332b84c25f237ab2897fdbd62805e3","datavalue":{"value":"10.1016/S0168-0072(02)00041-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400599$30A3F88A-23D6-48FB-B83B-8F08D7E3271F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8069c579f026880210c914ce2ad43f7ea20fa63","datavalue":{"value":{"entity-type":"item","numeric-id":1400598,"id":"Q1400598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400599$648572E9-15A7-48B6-85F6-C679E2422ED5","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":"Q1400599$C10112C1-7AF2-40E1-A36F-8E7333F97A18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400599$9FB1AF6A-28F5-4934-9B62-F3FFBD90BA3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11837e5396ff751fe39b42e454589e899782e7fc","datavalue":{"value":"The present paper extends part of \\textit{S. Shelah}'s pcf theory [Cardinal arithmetic. Oxford: Clarendon Press (1994; Zbl 0848.03025)] to the more general context of products of partial orders. The development of the theory splits into an ideal-theoretic and a combinatorial part.  Fix a cardinal \\(\\kappa\\). A function \\(\\tau\\) associating a cardinal \\(\\tau (I)\\) with every ideal \\(I\\) on \\(\\kappa\\) is called continuous if \\(\\tau (\\bigcap \\Gamma) = \\min \\{ \\tau (I) : I \\in \\Gamma\\}\\) for all nonempty families \\(\\Gamma\\) of ideals. An ideal \\(I\\) is stable for \\(\\tau\\) if \\(\\tau (J) = \\tau (I)\\) for all ideals \\(J\\) containing \\(I\\). For continuous \\(\\tau\\), define the ideal \\(J_{<\\lambda} (\\tau) = \\bigcap \\{ I : I\\) ideal on \\(\\kappa\\) and \\(\\tau (I) \\geq\\lambda \\}\\).  Given a partial order \\(P\\), the bounding number \\({\\mathfrak b} (P)\\) is the least size of an unbounded subset of \\(P\\). If \\(P\\) has a cofinal subset which is linearly ordered, the true cofinality \\({\\text{tcf}} (P)\\) is the smallest cardinality of such a set. A family \\(\\overline P = (P_i : i < \\kappa )\\) of partial orders is said to be progressive if \\({\\mathfrak b} (P_i) > \\kappa^+\\) for all \\(i < \\kappa\\). \\({\\mathfrak{pb}} (\\overline P) = \\{ {\\mathfrak b} (\\prod \\overline P / I) : I\\) ideal on \\(\\kappa \\}\\) is the set of possible bounding numbers. \\(\\prod \\overline P / I\\) naturally generalizes \\(\\prod \\overline \\lambda /I\\) from pcf theory where \\(\\overline \\lambda = (\\lambda_i : i < \\kappa )\\) is a family of regular cardinals. \\({\\mathfrak b} (\\prod \\overline P /I)\\), then, corresponds to \\({\\text{tcf}} (\\prod \\overline\\lambda / I)\\) (if existing), and \\({\\mathfrak{pb}} (\\overline P)\\), to the set of possible cofinalities \\({\\text{pcf}} (\\overline\\lambda) = \\{ {\\text{tcf}} (\\prod \\overline\\lambda / I) : I\\) ideal on \\(\\kappa \\}\\).  The author shows that \\(\\tau_{\\overline P} :I \\mapsto{\\mathfrak b} (\\prod \\overline P / I)\\) is a continuous function for progressive \\(\\overline P\\). Using Shelah's club guessing, he establishes that for such \\(\\overline P\\) and \\(\\lambda \\in {\\mathfrak{pb}} (\\overline P)\\), \\(J_{< \\lambda^+} (\\tau_{\\overline P})\\) is generated over \\(J_{< \\lambda} (\\tau_{\\overline P})\\) by a single set, thus generalizing a well-known result from pcf theory. He also proves that if \\(\\overline\\lambda = (\\lambda_i : i < \\kappa)\\) is a progressive sequence of regular cardinals, \\({\\mathfrak b} (\\prod \\overline\\lambda / I) = \\lambda\\) and \\(I\\) is stable for \\(\\tau_{\\overline \\lambda}\\), then \\({\\text{tcf}} (\\prod \\overline \\lambda / I) = \\lambda\\). This provides the connection to pcf theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$76C83AED-0E32-49DB-82DF-C9A0792526E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d47e25e8cf618d2abb950656f24c2f07fd7d2928","datavalue":{"value":"03E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400599$2E64D153-C312-43DB-B260-62957951EDF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fefd2711a55a121de274b3947b8fd5260fb7c64b","datavalue":{"value":"1963863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400599$B0C66AA9-8606-4E24-AB28-4E4970227C44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75aec86f8e12b350bef363645bfad54f9558610d","datavalue":{"value":"pcf theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$25A565C4-B744-4DD3-ACFE-892E80235860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$4FB3BED9-D9DB-43BA-946E-C9B921FF190A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeebc1387259213c23726c40b00df5ba1454a7a","datavalue":{"value":"bounding number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$C0AB5BD8-14B1-4C90-AC93-7DA4B7613191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae4ade54c0b6811aab6c6d5ac421caa2c4df989","datavalue":{"value":"true cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$DD8C1586-704D-4FD3-A24D-6D1FF8D8450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f1ac76a24e6a3348c0716ebd780f26ad4fdacd","datavalue":{"value":"possible cofinalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$302E8F19-308E-43D0-A683-93611B759825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c23bcdc6c8beb70827ded55fbb1e2065767d60","datavalue":{"value":"club guessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$F2BA5A05-AC33-4227-BEF0-22DFB0363743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b1073d7cec88bb39d9d7156197a2d4b57d933a","datavalue":{"value":"Shelah's function pp","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400599$0AB47EB1-7B25-4472-9E30-93C306C50502","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":"Q1400599$188A6F19-E97B-4626-A479-5221EBE5D5FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f53e1b2e5c097518976b15d6670bc7685ce963","datavalue":{"value":{"entity-type":"item","numeric-id":4294028,"id":"Q4294028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400599$857C71B5-50E3-4580-926C-EC363A1AE6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c984a9677463a9faccea0335a231ae2987e0f93","datavalue":{"value":{"entity-type":"item","numeric-id":4881861,"id":"Q4881861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400599$81419A13-CAE4-4952-83BB-A16FF2D8B73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfa8394f77a3de28772ecc88086b6d4867e30f7","datavalue":{"value":{"entity-type":"item","numeric-id":4326402,"id":"Q4326402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400599$EBAC913A-702B-4D9D-93EC-F087C5AD2DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45aeed8b823cad90e4b26f72469201d147bdd17","datavalue":{"value":{"entity-type":"item","numeric-id":5689025,"id":"Q5689025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400599$199330BC-6389-410A-BC2F-69992C95B819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64837011a688e211f40ed9828501407d56e5ed0b","datavalue":{"value":{"entity-type":"item","numeric-id":2710599,"id":"Q2710599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfee4b9e43616e1ae31e1a3a1288dcfd3a97b116","datavalue":{"value":{"amount":"+0.821031928062439","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":"Q1400599$2BDDC4E4-35C8-4C20-BE7C-8556ECC5ADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef235c452988a2f1e85cd286d7c65273d11299eb","datavalue":{"value":{"entity-type":"item","numeric-id":1354318,"id":"Q1354318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b741f51f561f577983724f989fef2bdd5fac5e25","datavalue":{"value":{"amount":"+0.8202493786811829","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":"Q1400599$C106BE76-D880-4337-A5D0-159EDEBE9611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c0dd26bee13c53bc3643f2479dc9e0a8f3da5e","datavalue":{"value":{"entity-type":"item","numeric-id":749528,"id":"Q749528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea795d3337c327b01070f7a739cf04b7069955a5","datavalue":{"value":{"amount":"+0.7890362739562988","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":"Q1400599$CEF93E90-2C0B-40C3-BC9F-E2621E6FC1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2102707d586d7d208c03e2817a32e6721eebe99a","datavalue":{"value":{"entity-type":"item","numeric-id":5100045,"id":"Q5100045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405c9336136350bdd47447302fd16bb567c64c0c","datavalue":{"value":{"amount":"+0.7801373600959778","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":"Q1400599$54EDC243-180C-40D7-90DE-D3B64E55C5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917f6fbbec65d782bcbc3b0500b6ba0a8cac1e12","datavalue":{"value":{"entity-type":"item","numeric-id":2785958,"id":"Q2785958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdde84fff99004cad95f17581bcc320144a4402","datavalue":{"value":{"amount":"+0.7721705436706543","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":"Q1400599$DEEA1101-1D5E-45F2-A86E-E0F1A8553D16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"True cofinality and bounding number for small products of partial orders.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/True_cofinality_and_bounding_number_for_small_products_of_partial_orders."}}}}}