{"entities":{"Q1087870":{"pageid":1098622,"ns":120,"title":"Item:Q1087870","lastrevid":49029289,"modified":"2026-01-06T12:11:00Z","type":"item","id":"Q1087870","labels":{"en":{"language":"en","value":"The structure of ineffability properties of \\(P_{\\kappa}\\lambda\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989337"}},"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":"Q1087870$A2049680-3A3C-4383-AAEE-8EC0C3DE6C0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c34f7701d968184000f70834815be7d396960745","datavalue":{"value":{"text":"The structure of ineffability properties of \\(P_{\\kappa}\\lambda\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087870$DC70AE3B-27CC-444A-B35E-CE6DF3A3BBE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e1eb7a8b1bb2363f2c993c587134666c2b3c6b0","datavalue":{"value":"0612.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087870$CB553220-4F57-4C70-A6F8-533C88CAE629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7140830680e45ca4653e845cba0585e0e83f1be","datavalue":{"value":"10.1007/BF01953970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087870$97FF41D5-1382-480C-BB86-6C87DCE7083E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49be647e9872749dd1da5a71b544e1eabd56d9e2","datavalue":{"value":{"entity-type":"item","numeric-id":922534,"id":"Q922534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087870$4BC070DA-98D4-4C5A-981C-39A59DC7779A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087870$F7286923-BE1D-4B65-9E6C-AD72C232337E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1087870$68ABC33D-29F3-49BB-BFD3-557980512355","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fce3e2a48992472ce95c2c47a59b48d0172527c2","datavalue":{"value":"We investigate ideal-theoretic and other aspects of ineffability properties of \\(P_{\\kappa}\\lambda\\), and define the following new ineffability property. Let \\(NSh_{\\kappa \\lambda}\\) denote the set of all \\(X\\subset P_{\\kappa}\\lambda\\) which do not have the property ''for any \\((f_ x:x\\in X)\\) such that (\\(\\forall x\\in X)\\) \\((f_ x:x\\to x)\\), (\\(\\exists f:\\lambda \\to \\lambda)(\\forall x\\in P_{\\kappa}\\lambda)(\\exists y\\in X\\cap \\hat x)(f_ y| x=f| x)''\\), and say that \\(\\kappa\\) is \\(\\lambda\\)-Shelah iff \\(P_{\\kappa}\\lambda \\not\\in NSh_{\\kappa \\lambda}\\). Our results include the following: Theorem. \\(\\kappa\\) is \\(\\lambda\\)-Shelah iff \\(NSh_{\\kappa \\lambda}\\) is a normal ideal on \\(P_{\\kappa}\\lambda\\). Theorem. If \\(\\kappa\\) is \\(2^{\\lambda^{<\\kappa}}\\)-Shelah, then \\(\\kappa\\) is \\(\\lambda\\)- supercompact. Corollary. \\(\\kappa\\) is supercompact iff (\\(\\forall \\lambda \\geq \\kappa)\\) (\\(\\kappa\\) is \\(\\lambda\\)-Shelah) iff (\\(\\forall \\lambda \\geq \\kappa)\\) (\\(\\kappa\\) is almost \\(\\lambda\\)-ineffable).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087870$67183EAD-68B5-493F-B2C6-F30B0E0DA0BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087870$14916EDE-C7E0-42C2-9125-250BB3E26713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087870$7B694E1F-A615-43E0-83E0-AEF5179B4C6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d4b14cd79a18ad7d15aeb9614bf30c126bd151","datavalue":{"value":"3989337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087870$0CB6026C-FB6F-4E66-8E59-C0C9308CA57D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca54c55a2a19910b1ee13be43cef1b36753653a","datavalue":{"value":"regular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087870$FCEF394F-CCEC-4B95-95A7-BD98430E1969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087870$C8B0A67F-40A7-4E06-8309-E020A3966288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0496c14f7e62b8af8b75719f112338a6e78ca2cc","datavalue":{"value":"normal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087870$8ECE8A6F-3496-4075-BBDC-F2737A7A4357","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":"Q1087870$39DB31F3-21CF-472D-8BC1-917C234B2D8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed10eb13004d5969a9439ef59afc0fadb6d46d99","datavalue":{"value":{"entity-type":"item","numeric-id":3863878,"id":"Q3863878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087870$11B4C9DF-AB1F-4C6B-A893-12ACF203EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8798dcee83665f3275f624a6c84210adec7aa72","datavalue":{"value":{"entity-type":"item","numeric-id":3347871,"id":"Q3347871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087870$DF8A0AAD-1B2D-4EFE-AA1C-655642A80C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb811cf6271ad0e54c696d8f86cfdd273ed3f995","datavalue":{"value":{"entity-type":"item","numeric-id":3914978,"id":"Q3914978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087870$070E0E35-F6A7-4E3A-A301-DF7F9F3EB6B9","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":"Q1087870$4A77971A-E232-4620-81EC-491C7AE83D6A","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":"Q1087870$E17DA0C6-7170-426A-ADAB-331B1CF56272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22c911c5e724f088fc83f5dd92ca1a979518a96","datavalue":{"value":{"entity-type":"item","numeric-id":4053659,"id":"Q4053659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087870$ECA0AEC4-633D-476B-9572-0F1B95FE4239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecafdee25c3fb1545740d24a0ea2837c4a8bee7d","datavalue":{"value":{"entity-type":"item","numeric-id":3863883,"id":"Q3863883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087870$729E9A60-795C-4732-BAAC-B2F771A2734B","rank":"normal"}],"P1643":[{"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":"3c408ee429c8e8baa2d1f4550c417e968e134106","datavalue":{"value":{"amount":"+0.8917791247367859","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":"Q1087870$37BB7D9E-CFD5-4AF0-8D19-3DA462320406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd041f25aeae041ccf2ac77796c8df6d919bdd74","datavalue":{"value":{"entity-type":"item","numeric-id":3347871,"id":"Q3347871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0130b42b539e80d86335049427624c805bee1a02","datavalue":{"value":{"amount":"+0.8679975867271423","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":"Q1087870$E4B3FEB2-4986-420A-9F1D-3BCB0D9248E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70db2c60e7ee556e4ead8c71e642e02653332273","datavalue":{"value":{"entity-type":"item","numeric-id":4312353,"id":"Q4312353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37119d3f8d3fe1d0c95abedd92c59b509f711d23","datavalue":{"value":{"amount":"+0.8433524966239929","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":"Q1087870$BB06E81E-7E22-4C11-9B40-5EE9289E1F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89df010e56db36dbbb6041e7b37d69551b59a67","datavalue":{"value":{"entity-type":"item","numeric-id":2486988,"id":"Q2486988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7df931469bd7082cd0830fc3b9c4d1a8006c3f6","datavalue":{"value":{"amount":"+0.8334094285964966","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":"Q1087870$85672839-8DAE-4F83-AC37-A78348C97A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46486a543700d245d5a6b92572e8b9fd4a5f870e","datavalue":{"value":{"entity-type":"item","numeric-id":4928972,"id":"Q4928972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c6b4472762f62ecabccee69e24485b2947ec25","datavalue":{"value":{"amount":"+0.8115641474723816","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":"Q1087870$0EF15ED4-4B6E-49AC-AF34-34A7E54F705B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1087870","badges":[]}}}}}