{"entities":{"Q1042437":{"pageid":1044285,"ns":120,"title":"Item:Q1042437","lastrevid":50850578,"modified":"2026-01-15T10:21:23Z","type":"item","id":"Q1042437","labels":{"en":{"language":"en","value":"The short extenders gap two forcing is of Prikry type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5646249"}},"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":"Q1042437$720D4027-49F9-450C-9770-62F03133D764","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8070e433a9d2eeb25543ecc9e2b7a41c0a3976b4","datavalue":{"value":{"text":"The short extenders gap two forcing is of Prikry type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1042437$6EA001E2-D666-4A0E-A26D-150824DA297F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d753fc20fbebed996e4022a3947f9bfeee7e6b1b","datavalue":{"value":"1191.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042437$185830D3-B081-4433-9B73-711822420300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"787c97004544c9460043ea2a46f7a696a33230b6","datavalue":{"value":{"entity-type":"item","numeric-id":529164,"id":"Q529164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042437$35A5162B-ED1A-49FE-BD93-005ACE58DEEE","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":"Q1042437$9669F333-51BB-48DC-9FC6-430D23597798","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e41f1f6a92c504ea1d880589590d0d5052fddbb","datavalue":{"value":{"time":"+2009-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1042437$C99D2D15-E07C-4CF2-B11C-49A53AA10D79","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37a03c9ac795269f7095b39273f52e64820bb798","datavalue":{"value":"Suppose \\(\\kappa = \\bigcup_{n<\\omega} \\kappa_n\\), where \\(\\langle\\kappa_n: n<\\omega\\rangle\\) is an increasing sequence of cardinals with the property that for each \\(n<\\omega\\), there is a \\(\\langle\\kappa_n, \\kappa_n^{+n+2}\\rangle\\) extender. Let \\((\\mathbb P,\\leq,\\leq^\\ast)\\) be the associated short extender gap-2 notion of forcing. This forcing is due to \\textit{M. Gitik} [Ann. Pure Appl. Logic 80, No.~1, 17--33 (1996; Zbl 0849.03039)], who proved that \\(\\mathbb P\\) preserves cardinals and adds no new bounded subsets of \\(\\kappa\\), and that in \\(V^{\\mathbb P}\\), \\(2^\\kappa = \\kappa^{++}\\). The author establishes that \\((\\mathbb P,\\leq, \\leq^\\ast)\\) is of Prikry type, which means that for each condition \\(p\\in\\mathbb P\\) and each formula \\(\\sigma\\) in the \\(\\mathbb P\\)-forcing language, there is \\(p^\\ast \\leq^\\ast p\\) deciding \\(\\sigma\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042437$EEBB9940-D9A1-4B9B-BF80-D7AF660FDD6E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042437$1CA3ED67-FC3A-4DD1-9958-E9363AE99D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042437$CD4B1B6E-2C13-4D22-9562-B3802A37DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042437$3955133D-152E-4ED3-9C34-4E8B6C8E74A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a0ee168661d56318c87668eb6aa6ace1f1156f3","datavalue":{"value":"5646249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042437$0BFA3564-7602-435C-9FDE-DADD515FAE52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c373ae0ce9fe2a65356c64578b6becdb1f16c227","datavalue":{"value":"Singular Cardinal Hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042437$404A0672-5A5F-4B98-9EE8-A9FEF8A1F3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4344d78edf58371ed7a241f35fd86b5efe389b","datavalue":{"value":"Prikry property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042437$C4D1BA98-8A2A-4BD8-ACC3-E0DB79E40DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"262ee28f4d89af8991991ffa382228bc6408e761","datavalue":{"value":"extender-based forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042437$34453DDA-3C45-4A63-BB2E-3095132F3A30","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":"Q1042437$9B786315-54DF-4BEE-A0F0-F972A66407C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d525554e2c007638f4094d4165b8a7eb3a7f083c","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0147-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1042437$DE07B7DC-391F-482C-A08A-1370E821498A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df327c4b47c95600f9872606cc8e20a9219dd5f5","datavalue":{"value":"W1968182665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042437$9DAB492D-AE68-4520-A1AE-86BCCBF062E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd56c65c18b762f2c053ed26bc633fdca4e080c","datavalue":{"value":{"entity-type":"item","numeric-id":1919551,"id":"Q1919551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042437$4F5D64BB-FB2A-48D7-AA46-A9DAC415DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73878977ab07dcf6f8acceaf851a27170e87e31f","datavalue":{"value":{"entity-type":"item","numeric-id":1602846,"id":"Q1602846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042437$6558857E-D961-4A56-BF53-A06D2490B313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc171155b0062b80985ab52f9b3dc6d695a3587c","datavalue":{"value":{"entity-type":"item","numeric-id":1861533,"id":"Q1861533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042437$1598E86E-45FC-4B85-97BE-BCE48D2B3601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9430a00a032be3175f7ef28583bdc78a7062e1","datavalue":{"value":{"entity-type":"item","numeric-id":4694295,"id":"Q4694295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042437$165F6354-0611-435A-8A4E-39A9EFEC8A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b518460f3b681aae48592a1676a99a3c9bc489b4","datavalue":{"value":{"entity-type":"item","numeric-id":5961496,"id":"Q5961496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042437$205D18D9-472A-41F4-A38A-1C3022A1B00A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c9bbbd97f2e515a8a4e659387bc550f96bce09f","datavalue":{"value":"10.1007/S00153-009-0147-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042437$72A77490-E126-4020-AD4A-C6AA16211965","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b5e8acff50094c1e6e0bf2492a6e4227ad6718","datavalue":{"value":{"entity-type":"item","numeric-id":627433,"id":"Q627433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b128c94faeb1026748ea38bd512d08b63f2ac84a","datavalue":{"value":{"amount":"+0.8558894991874695","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":"Q1042437$332AE089-F16D-4E29-91F7-3D3AD513CA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557c244eea50f4c085e8fd008170beb1a5d73a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4922852,"id":"Q4922852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1d6888b26c391b8747a9f571d241d62b9699e4","datavalue":{"value":{"amount":"+0.803135097026825","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":"Q1042437$B6E146F7-4E9D-4F9A-B88E-929F09510217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760faf300f6dcf1100455d63d9def0efb44d2ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2480575,"id":"Q2480575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14faa84afed0eb77aaacdccf14b68d6eaae7f17c","datavalue":{"value":{"amount":"+0.8025268316268921","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":"Q1042437$3F0EC83D-D6D1-461D-8ECE-8653C86C987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ff53613fff38dde18045953226e3aee7ca2829","datavalue":{"value":{"entity-type":"item","numeric-id":3530394,"id":"Q3530394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0ac3abd86add859038b1055da7cf7dd42984e3","datavalue":{"value":{"amount":"+0.7932482957839966","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":"Q1042437$FB748A4C-D109-42E0-AD7F-6A6BD9A47364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091f42fb002aa14d6561c6df96bc2f0c0548dbac","datavalue":{"value":{"entity-type":"item","numeric-id":2726224,"id":"Q2726224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969780fbdce3428ec40f105d3299845bc6b1bccb","datavalue":{"value":{"amount":"+0.7753791213035583","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":"Q1042437$397D8D8F-4EAE-46DA-A693-D7D96F94CF93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1042437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1042437"}}}}}