{"entities":{"Q1178335":{"pageid":1189084,"ns":120,"title":"Item:Q1178335","lastrevid":70196472,"modified":"2026-04-13T13:05:37Z","type":"item","id":"Q1178335","labels":{"en":{"language":"en","value":"A new proof of the Gitik-Shelah theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 21521"}},"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":"Q1178335$741951D8-292A-4230-9815-60FE62D83371","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d206e47bb5b1ff93c3d7b4507a1b30af041d556c","datavalue":{"value":{"text":"A new proof of the Gitik-Shelah theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178335$121CBBBD-6964-4F17-8642-60B940332846","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96b00950de35e9fc7e4b4b94eff3e5646613de16","datavalue":{"value":"0738.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178335$C0A59645-C510-45F5-B17F-C4FA3A1F266A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ee34f4c4f4c75a6f1675ae08382b002656488e4","datavalue":{"value":"10.1007/BF02773791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178335$EA2F12FF-6AE2-45BA-B49A-E996E66588DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dd5ef6ef0f73d3e7fbc6ba76ed7ade7e1279363","datavalue":{"value":{"entity-type":"item","numeric-id":1178334,"id":"Q1178334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178335$C5480BDF-05A7-45C4-B33B-1E260B7498CC","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":"Q1178335$4CFC9C46-6650-43E8-9C12-6D10BBCE6B36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178335$AD476F6C-CE85-4144-BE4B-B2F9DE3E4784","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"986e3440eb30e0abce65572294e6790ea812fa12","datavalue":{"value":"For ideals \\(I\\) on \\(\\kappa\\), \\(J\\) on \\(X\\), there are two natural definitions of a product ideal on \\(\\kappa\\times X\\). The author introduces the product property for \\(J\\): \\(I\\times J\\subseteq(J\\times I)^ T\\) for all \\(I\\), and proves it to hold for the ideals of meagre and measure zero sets. Moreover, if \\(J\\) satisfies the product property, then there are large \\(J\\)-almost disjoint families of functions. These results are applied to give a purely combinatorial proof of the Gitik-Shelah Theorem on representations of the Boolean algebra \\(P(\\kappa)/I\\) as \\(B_ \\lambda/J\\) with \\(J\\) one of the above ideals, \\(B_ \\lambda\\) the \\(\\sigma\\)-field generated by the basic open sets in the product space \\(2^ \\lambda\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$B6AF51FB-D513-465B-9F5C-C3C3AC6742F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f98ee58fa25fbd22581b8277cc8492aa7c19b098","datavalue":{"value":{"entity-type":"item","numeric-id":759746,"id":"Q759746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178335$F5724944-6814-4404-A116-FFEC22F06435","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178335$BEB097A7-890B-4442-8FF6-3450DB22F37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178335$D1DA87EB-FCC5-415F-95CA-8EE8647311D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6033abe54bda9f7fa667bf1abbd91965b40a30ac","datavalue":{"value":"21521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178335$7F5639B3-F512-4543-B6BF-5722619CF20D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f0fc1b9b2a37b03ba26db8449e567924259f597","datavalue":{"value":"representations of Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$FD260767-8BAE-4F67-A247-F2FB86EF4AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b1fe889944cac46a7d844c2b09cc9b20589e37","datavalue":{"value":"product ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$820D4ADA-9F58-4CF2-8F56-33305ED1EA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500118ac92eea87185a46e754db1f31836a80952","datavalue":{"value":"product property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$8D790B2B-2E1D-41BF-9B17-FBDA1038BE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f059c8e2a0fa9e1ac7020c171ee7ddbcbcf987","datavalue":{"value":"measure zero sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$C0A1A463-28CF-452C-805B-C90EBFC08B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e104a9e721ea67ad06d7d97fa68ab5e4b2e417c0","datavalue":{"value":"almost disjoint families of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$0C85F31D-B9FD-48B8-BAC9-0E59DB4F8853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef850d88d7d33fb4ce005e1822360f7052cf49a","datavalue":{"value":"combinatorial proof of the Gitik-Shelah theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$E5F92ED3-E805-4576-869F-2D7201109B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1673412d1f37d2e8067e5d67ca7f5975950688bb","datavalue":{"value":"sigma-field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178335$5A5DB979-81DC-4262-A4D6-3B1B741CB912","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":"Q1178335$024E937C-A2AB-4A7F-8B7C-6BF6979505A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11ce5f8f84dc0f2b2bdfa104190e99db6340580","datavalue":{"value":{"entity-type":"item","numeric-id":1262306,"id":"Q1262306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178335$B2EDD2A1-E7FF-4281-93B5-7C7F15FF2983","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fdbeab83647c3ca97ea96901dc93d2507069b67","datavalue":{"value":{"entity-type":"item","numeric-id":3741836,"id":"Q3741836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43498a9639033a64da2664c44c3eaa754d54df47","datavalue":{"value":{"amount":"+0.7842305898666382","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":"Q1178335$1B1C49CB-F885-40E9-8434-45E4186804A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20984daf91189ecfcf7096fe8cfe6f604f6e499","datavalue":{"value":{"entity-type":"item","numeric-id":2288409,"id":"Q2288409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692eba357614311fb2dec87081949c887d5e96e2","datavalue":{"value":{"amount":"+0.7534740567207336","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":"Q1178335$74520FCA-B6FF-48C7-9CDF-38BB6E38E7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaacda1100b37a63b5c35153bcb97aeaed3ecae","datavalue":{"value":{"entity-type":"item","numeric-id":4728562,"id":"Q4728562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9bfa150bf2cb2cb9d86226f3d2f5f527c966cb","datavalue":{"value":{"amount":"+0.7519452571868896","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":"Q1178335$48E580EE-7F48-44BB-9C95-3B5AF3FE2963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a232a9195cc97651bd0f361fb383bbb49db5066","datavalue":{"value":{"entity-type":"item","numeric-id":1081600,"id":"Q1081600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7663475957f1baf918b2349aa0816a7fd4343f16","datavalue":{"value":{"amount":"+0.7404647469520569","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":"Q1178335$9F4492C0-26C9-4318-9D4A-BB40FE8A32DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f717d07a90e9c696bd24b624d69532b46028d8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2377357,"id":"Q2377357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a138ed68a57c5bc019734567f232510c86a01555","datavalue":{"value":{"amount":"+0.7285409569740295","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":"Q1178335$FF5DED2D-836D-4AE5-B366-926F5D579D0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of the Gitik-Shelah theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_proof_of_the_Gitik-Shelah_theorem"}}}}}