{"entities":{"Q750433":{"pageid":752282,"ns":120,"title":"Item:Q750433","lastrevid":49436248,"modified":"2026-01-07T03:56:00Z","type":"item","id":"Q750433","labels":{"en":{"language":"en","value":"Patching ideal families on \\({\\mathcal P}_\\kappa\\lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174917"}},"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":"Q750433$AB2FD63A-8819-4BBF-826C-0D7628BBD6C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b0412fbbd3310a847cc6696e5a72138b88840d5","datavalue":{"value":{"text":"Patching ideal families on \\({\\mathcal P}_\\kappa\\lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750433$B15A5A4C-FFE6-4166-AA00-FCEE68DEE936","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8236d0aa9dbe0c716101da4953ca266e284309c9","datavalue":{"value":"0714.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750433$A8ECC912-9794-4D6C-A264-979BE0E26459","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe6079f7b4774000fd5c8f6889908be756dbf5be","datavalue":{"value":"10.1007/BF01792987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750433$B8C92A65-B29D-41C8-8D2F-112CC8167D08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b2e969414a2c51d7e2e7d7c222a313c4daf57f","datavalue":{"value":{"entity-type":"item","numeric-id":750431,"id":"Q750431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$5EE71662-82CE-4C1E-ABE4-18D592D5EAFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$4575ACCE-2374-40D9-87B6-BCA60687C713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q750433$277E688C-13BE-433D-942E-303F6626F7BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0fbbe3580abfe44bda76a2b88f09b48d0852b304","datavalue":{"value":"Suppose that \\(\\kappa\\) is an uncountable weakly inaccessible cardinal, \\(\\lambda\\) is a cardinal, and \\(\\kappa\\leq \\lambda\\). By an ideal family on \\({\\mathcal P}_{\\kappa}\\lambda\\), the author means a function I on \\({\\mathcal P}_{\\kappa}\\lambda \\cup \\{\\lambda \\}\\) such that, for each \\(x\\in {\\mathcal P}_{\\kappa}\\lambda \\cup \\{\\lambda \\}\\), \\(I_ x\\) is a (not necessarily proper) \\(<| x\\cap \\kappa |\\)-complete normal ideal on \\({\\mathcal P}_{| x\\cap \\kappa |}x\\). His focus is on ideal families that are patching, i.e. ideal families I such that for any \\(C\\in I^*_{\\lambda}\\), \\(\\{\\) \\(x\\in {\\mathcal P}_{\\kappa}\\lambda |\\) \\(C\\cap {\\mathcal P}_{| x\\cap \\kappa |}x\\in I^*_ x\\}\\in I^*_{\\lambda}\\) with \\(I^*_ x\\) being the filter dual to \\(I_ x\\). He proves the following three facts: (1) The ideal family NS, which assigns the ideal \\(NS_ x\\) of nonstationary subsets of \\({\\mathcal P}_{| x\\cap \\kappa |}x\\) to each x, is patching; (2) The ideal family that assigns to each x the ideal of subsets of \\({\\mathcal P}_{| x\\cap \\kappa |}x\\) that are not almost ineffable is patching; (3) If \\(\\lambda^{<\\kappa}=\\lambda\\), then the ideal family that assigns to each x the ideal of subsets of \\({\\mathcal P}_{| x\\cap \\kappa |}x\\) that are not ineffable is patching.    Regarding (1), it should be noted that the author defines \\(NS_ x\\) to be the improper ideal if \\(| x\\cap \\kappa |\\) is singular. The notions of (almost) ineffable subsets of \\({\\mathcal P}_{| x\\cap \\kappa |}x\\), used in (2) and (3), are natural adaptations of the corresponding concepts for subsets of a cardinal, and are due to D. M. Carr. The proof of (3) requires an injection \\(s:{\\mathcal P}_{\\kappa}\\lambda \\to \\lambda\\) for which the set of all \\(x\\in {\\mathcal P}_{\\kappa}\\lambda\\) such that \\(| x\\cap \\kappa |\\) is regular and \\(\\forall y\\in {\\mathcal P}_{\\kappa}\\lambda:\\) \\([y\\in {\\mathcal P}_{| x\\cap \\kappa |}x\\Leftrightarrow s(y)\\in x]\\) is large enough. The assumption \\(\\lambda^{<\\kappa}=\\lambda\\) is designed to ensure its existence.    Facts (2) and (3) are interesting only if the ideal families in question assign proper ideals to \\(\\lambda\\) and sufficiently many \\(x\\in {\\mathcal P}_{\\kappa}\\lambda\\). The paper also includes discussion of situations in whch this requirement is met.    \\{Remark: In Theorem 2.6, the author asserts that the ideal family NS is patching if and only if \\(\\kappa\\) is weakly Mahlo. However, since \\(NS_ x\\) is defined to be the improper ideal for x with \\(| x\\cap \\kappa |\\) singular, it is easily seen that NS is patching in a degenerate sense if \\(\\kappa\\) is not weakly Mahlo. Therefore NS is patching regardless of whether \\(\\kappa\\) is weakly Mahlo or not.\\}","type":"string"},"datatype":"string"},"type":"statement","id":"Q750433$04D76051-48DE-4DA1-ACD7-31AAB3921067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750433$76D0794F-7B05-4F53-AFC9-E7D35090F714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750433$F54D6A9A-865F-487B-942D-EA2B34B000F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1cd6f9eaceac06e2750ef50d174608c50615168","datavalue":{"value":"4174917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750433$C8E57F2E-AD9B-4A0A-BC4F-BA968C3EDC63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad1e976478a320dacfa078ad2feb7a6ad3426f32","datavalue":{"value":"closed unbounded set","type":"string"},"datatype":"string"},"type":"statement","id":"Q750433$03CDC885-3630-427C-AD54-E4C7A0F2D93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a15741761b9af2d7081708289435030e37832aa","datavalue":{"value":"ineffable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q750433$3DBBF9AD-211A-42D1-A218-19912F300A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19119d4b073b29a31ff15e1ba2f9999c740bec7e","datavalue":{"value":"ideal family","type":"string"},"datatype":"string"},"type":"statement","id":"Q750433$0F094F59-18AB-46B7-BABA-0EF6A4F4713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2be79a3cb7d7cffc3f78e0cad6aca0b070af27","datavalue":{"value":"patching","type":"string"},"datatype":"string"},"type":"statement","id":"Q750433$84AC6C45-D592-4CCE-8B1D-73E45D224FE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17234c9f26c305184421b7275b10bb64ce6f01ae","datavalue":{"value":{"entity-type":"item","numeric-id":1100199,"id":"Q1100199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$930A7E5B-8120-4A18-B3CB-9FB955C80B70","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":"Q750433$406E0A44-BBED-4EE5-A450-4F9E158F7D09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c0ea45c85490be1e6c788b041449b0a9347ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3960684,"id":"Q3960684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$BC1E28A2-AC90-45BD-B36F-CE249661EA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b416f19790142af0671d909af9ea55c6802c3d","datavalue":{"value":{"entity-type":"item","numeric-id":1087870,"id":"Q1087870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$E9C80C69-1A2F-46B9-9490-AEC84F262461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e82c818b1a4542a5832dd9bc170ced8f779833","datavalue":{"value":{"entity-type":"item","numeric-id":3791144,"id":"Q3791144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$D92E3229-802C-4F0D-A545-B79BB1CB7D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d155425508e2b70b156eaff5238bf5875e2ca20","datavalue":{"value":{"entity-type":"item","numeric-id":3977421,"id":"Q3977421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$8368529A-225C-4E5B-B54D-F7A946B561D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007f17e3441fd265e57908ab0f98cf65c1116960","datavalue":{"value":{"entity-type":"item","numeric-id":5677492,"id":"Q5677492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$BE552C8F-DEA5-4A6A-A821-6937182ECC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebeeb8d0bbb2013fa589e6a0aaa571acc8146ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1255491,"id":"Q1255491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$A24BF1D4-3FF8-45B4-A416-52459F719CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310509c87fa01c8f2655eb3782ca7b1c882bfb4a","datavalue":{"value":{"entity-type":"item","numeric-id":3820594,"id":"Q3820594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$1C5E6B77-49C5-439B-9600-596E4DD8084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9425a1d20c130ab7561424ba1ac8f2656700def","datavalue":{"value":{"entity-type":"item","numeric-id":4404891,"id":"Q4404891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750433$7C7524C0-880E-49B6-91AA-AD0EAC599960","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e322bd8563f30072a125021826f86d313b392716","datavalue":{"value":"https://doi.org/10.1007/bf01792987","type":"string"},"datatype":"url"},"type":"statement","id":"Q750433$ACF11B04-36FA-44E2-AD08-838D13AB3A36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f389ed84527a8afbdfcfc5f54280e85588460fc2","datavalue":{"value":"W2059750090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750433$0EBFD74F-5811-4454-B6FC-A8F961AD6231","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57283ae27f9c976fd78411a9d09e6bab85c78ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3820594,"id":"Q3820594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135fd7bc5920eb976e4936a60aac924619834062","datavalue":{"value":{"amount":"+0.8287951946258545","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":"Q750433$9B20B3A0-3433-49D7-B5B0-D9C0BF0A2A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc211a83f8653bdbe03e4a075f0f5be64c193f1","datavalue":{"value":{"entity-type":"item","numeric-id":2382261,"id":"Q2382261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449af6eeb72ed1a1c73fac485ad626407568ab11","datavalue":{"value":{"amount":"+0.7812387943267822","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":"Q750433$922A28AC-BF3E-4E36-81AF-D3DAE6C40103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94951e1befce531f96f49c8d58ec19aee6207f8","datavalue":{"value":{"entity-type":"item","numeric-id":3425069,"id":"Q3425069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3260cb27d9308845f9152038d12c36dc3a234de","datavalue":{"value":{"amount":"+0.7768296003341675","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":"Q750433$0FA2BDC4-3CFD-4E54-BA70-E99D408C0A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5208956bfb1739b9259676677b60a4d993767d26","datavalue":{"value":{"entity-type":"item","numeric-id":945894,"id":"Q945894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cae07bed77d5f0a7efade9c74016eeeea65051","datavalue":{"value":{"amount":"+0.7710133194923401","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":"Q750433$904F39BD-0F79-4A06-8EA1-4A2EAFF8778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7dd763616094cdfea81965c5b8cbb56b1754c02","datavalue":{"value":{"entity-type":"item","numeric-id":1093631,"id":"Q1093631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed44936085d4b3d799b53fe90429efbbcb41175","datavalue":{"value":{"amount":"+0.7680131793022156","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":"Q750433$315EA7E2-B226-44EA-BC37-397E4D72C2EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:750433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:750433"}}}}}