{"entities":{"Q1354352":{"pageid":1365091,"ns":120,"title":"Item:Q1354352","lastrevid":67218975,"modified":"2026-04-12T16:08:37Z","type":"item","id":"Q1354352","labels":{"en":{"language":"en","value":"On hidden extenders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1006575"}},"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":"Q1354352$A1783E99-D983-4001-AA5C-D881D3B10099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0527e1598d5791f6c80cbc84a373d20b667f60e6","datavalue":{"value":{"text":"On hidden extenders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1354352$C9F617E5-6894-4F55-8ED8-4C9BA2E269C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8775f4698e520492018aacde47a980837ca204aa","datavalue":{"value":"0872.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354352$6F4EC65E-81B8-4472-83D6-5E0E257682E7","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":"Q1354352$9614ED5E-125C-42EC-BC2D-99DAD352A42E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f4fab970e9276b9cd29714c07e8216a980a2f0","datavalue":{"value":{"time":"+1997-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1354352$29D64AF1-464D-44B1-AD03-A5206DE5234A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3555d6428ea445efb1ade222ed79a589edc3acaf","datavalue":{"value":"https://arxiv.org/abs/math/9311202","type":"string"},"datatype":"url"},"type":"statement","id":"Q1354352$6A4BFBCE-8CD7-4F6A-887A-EFD830684DEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee4a119aee6101a9f77c8f6b6e48921d86564165","datavalue":{"value":"The author proves the following: let \\(\\kappa\\) be a singular cardinal such that \\(\\{\\alpha < \\kappa : o(\\alpha) = \\alpha^{+n} \\}\\) is unbounded in \\(\\kappa\\) for every \\(n < \\omega\\). Then in a generic extension there are two precovering sets which disagree about common indiscernibles unboundedly often. By a precovering set is meant an elementary submodel \\(X\\) of a large enough portion of the universe such that \\(X\\) is closed under \\(\\omega\\)-sequences, \\(\\kappa \\in X\\), \\(|X|< \\kappa\\), and \\(\\sup(X \\cap \\kappa) = \\kappa\\). \\(C^X\\) is the set of Mitchell indiscernibles. The author produces a generic extension in which there are precovering sets \\(X_1\\) and \\(X_2\\) with \\(C^{X_1}\\) and \\(C^{X_2}\\) different at unboundedly many places below \\(\\kappa\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$865EF1F0-2E29-46B0-9733-8EF979ABF836","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354352$E645F657-4342-42FC-86DE-D16FF96D3E75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d158f3834adc5ff78869407d9134bd994a6279b8","datavalue":{"value":"1006575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354352$BD883F26-751E-4A2A-BDA6-33FEDA89ADBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"956093a36d3a2dd733cf5f0dd60f107c1619ae54","datavalue":{"value":"Mitchell Covering Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$AC2FCF06-0196-43C9-AD39-F1F7BC4BBB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12fba6198d81e73c751b4e85c12e9342720ccdee","datavalue":{"value":"set of indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$57E09032-BADA-4BD4-82DA-20878E967F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1e20da2e0b0ff36aece792abf72b8107567f98","datavalue":{"value":"singular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$6C18327E-8764-4238-832C-3C73A33B78EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a17ee2f0c95f4af0ba9495f7673eaa83e643d","datavalue":{"value":"generic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$D5FC6054-92B7-4522-B2FB-EB28B6BE69EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b96dd30bb4c56c9b95fe4ed35fabe9043b9665","datavalue":{"value":"extenders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$1B9750DF-A5B2-4D65-9075-62D9E25A40B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812ae315385a9c3dfa718656d8f2749e92fdc1dc","datavalue":{"value":"precovering sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$8950F975-878F-47E1-B2E4-3586C4B29B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07ea1b8c3b7c43248ba5a849423d153aa9d45353","datavalue":{"value":"Mitchell indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1354352$39C28E1D-FBD6-4491-9F9C-FC3CBC9FC5FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d84e6e76f4e370b4f0cdf241935af18cad5ae955","datavalue":{"value":{"entity-type":"item","numeric-id":1256455,"id":"Q1256455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354352$78EC982A-0D1C-4A26-BF48-2F7558C918E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354352$B859C1FC-F250-4644-85B4-88C2C3796104","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":"Q1354352$23A134D8-18FA-436E-81FD-D6AC5F0278ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bfe0d90353979c01d5f0be3e4b05e7f13bc4df6","datavalue":{"value":"W2000657285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354352$C8BB6744-3B72-4642-9D07-80643D3FCEAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d75282b1d5e00460d139d03c994e11bf8519dc5","datavalue":{"value":"10.1007/S001530050050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354352$673EC2FB-9D0C-466B-89DB-B319C899669F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f6d88a627031c95b8202247a1ee6cd33a0adbc","datavalue":{"value":{"entity-type":"item","numeric-id":5961496,"id":"Q5961496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0b9ea7c031bd6c407bcead3491945081591d4d","datavalue":{"value":{"amount":"+0.7845038771629333","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":"Q1354352$0F1030D3-6935-4E2E-9A29-67326BAE6CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd73eeddf423aaf6179e50e92f5548f5eec16cb","datavalue":{"value":{"entity-type":"item","numeric-id":3222184,"id":"Q3222184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fb4bc7e9764ae7a4467e88850e206038653e0b","datavalue":{"value":{"amount":"+0.7739260196685791","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":"Q1354352$C43F959A-FEC3-4F7C-9844-EE9E67D10E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33ced8ea029d5d47cdcbf85ffb927e017c2fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":386403,"id":"Q386403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0929a0004860eeb98fd9cf48362e5cb01afb60","datavalue":{"value":{"amount":"+0.7382801175117493","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":"Q1354352$6CC053A0-932D-4585-9B5C-D2565DC0BA4B","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":"b6251c0d7b78b36ec48c63d578567031ec602abc","datavalue":{"value":{"amount":"+0.7329830527305603","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":"Q1354352$8D5D8A1F-0AC8-4D65-840F-A7E839BF24D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa00250a1eaa92cc46b03245cc44b7e9abed268","datavalue":{"value":{"entity-type":"item","numeric-id":4333463,"id":"Q4333463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0e6403e8ed69a1c6233581e2304b04277e0f50","datavalue":{"value":{"amount":"+0.7307501435279846","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":"Q1354352$CF3EBF0C-C88A-4A6A-907D-34A30E735A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On hidden extenders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_hidden_extenders"}}}}}