{"entities":{"Q2271989":{"pageid":2282732,"ns":120,"title":"Item:Q2271989","lastrevid":71733336,"modified":"2026-04-14T00:11:37Z","type":"item","id":"Q2271989","labels":{"en":{"language":"en","value":"A new characterization of supercompactness and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5590409"}},"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":"Q2271989$C2678091-6029-45C4-85A8-6AC02C34445C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e32e5ee0a53ecb0ff966c72b3a9b30256be75832","datavalue":{"value":{"text":"A new characterization of supercompactness and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271989$4CDDC566-2B25-49DA-8E92-025D859EED4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3647a7025ddd144a5c9fd8490de645792c0529b1","datavalue":{"value":"1183.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$344561AB-FB84-4938-904C-887A2F200821","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$C579C637-FD47-45D4-A3FC-4A18BC32F28D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"507e0f1f3ab1ca3e30afb8f6daf952ae27932c5c","datavalue":{"value":{"time":"+2009-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2271989$DBFB5027-4B19-402F-8C3E-210CE4770600","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e51983bfc1db803e9a50ab7abc696dabc93ebfa","datavalue":{"value":"The author defines a \\(\\langle\\kappa,\\lambda\\rangle\\)-Solovay pair to be an ordered pair \\(\\langle S,D\\rangle\\), where \\(D\\)~is an ultrafilter on~\\(\\lambda\\) and \\(S\\)~is a function with \\(\\text{dom}S\\in D\\) such that 1)~\\(D\\)~is \\(\\kappa\\)-complete; \\ 2)~if \\(\\alpha\\in\\text{dom}S\\) then \\(S(\\alpha)\\)~is a cofinal subset of~\\(\\alpha\\) of type~\\(\\text{cf}\\alpha\\) that is also relatively \\(\\kappa\\)-closed, which means that \\(\\mu=S(\\alpha)\\cap\\kappa\\) is a regular uncountable cardinal, \\(S(\\alpha)\\)~is \\(<\\mu\\)-closed and if \\(\\beta\\in S(\\alpha)\\) then \\([\\beta^*,\\beta^*+\\mu)\\subseteq S(\\alpha)\\), where \\(\\beta^*\\)~is the largest limit below~\\(\\beta+1\\); \\ 3)~\\(D\\)~is \\(S\\)-fine: for all \\(\\beta\\in\\lambda\\) the set \\(\\{\\alpha:\\beta\\in S(\\alpha)\\}\\) belongs to~\\(D\\); \\ 4)~\\(D\\)~is \\(S\\)-normal: if \\(X\\in D\\) and if \\(F:X\\to\\lambda\\) is such that \\(f(\\alpha )\\in S(\\alpha)\\) for \\(\\alpha\\in X\\cap\\text{dom} S\\) then \\(f\\)~is constant on a member of~\\(D\\).  The first principal result says that if \\(\\lambda\\geq\\kappa>\\omega\\) and \\(\\kappa\\) and~\\(\\lambda\\) are regular then \\(\\kappa\\)~is \\(\\lambda\\)-supercompact if and only if there is a \\(\\langle\\kappa,\\lambda\\rangle\\)-Solovay pair. The proof exhibits a canonical correspondence between \\(\\langle\\kappa,\\lambda\\rangle\\)-Solovay pairs and normal fine ultrafilters on~\\(\\mathcal{P}_\\kappa\\lambda\\). This correspondence extends to the Magidor-Prikry-type forcings associated to the pairs and ultrafilters. The author also uses Solovay pairs to show that after Levy-collapsing a supercompact~\\(\\kappa\\) to~\\(\\aleph_2\\), with countable conditions, all regular uncountable cardinals carry precipitous ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271989$D6C77ED8-AA5A-4438-9456-C2E2CA2FB8F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$03FF3ED6-CDA9-400B-AEBA-461EF0D396A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$C8F473C2-BB2D-48D4-911A-1693899E2F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$C234345A-DC66-4D34-ABDD-88922339DD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$9EE09599-9CD5-4083-9B35-46A41B829269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$9AD8BE54-39D9-4C42-A493-B5996ABD3722","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c69acaf64be63545ced3a33f3b127675ee5c7833","datavalue":{"value":"5590409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$0EBF78B7-9E93-4F22-8358-C2480ED08DFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271989$ECBF477B-7FC1-4223-9991-1F54A9613780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48da986187d6c8eaf65f090c804d0b689a492fae","datavalue":{"value":"Solovay pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271989$B7451BFE-FBC6-423D-AE84-846C85547617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69722ebd731bb9f265d2ebefbf6a791849991ad","datavalue":{"value":"Prikry forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271989$73702E26-3948-4138-9725-1FE6A9BC923E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95ce9416945ce43a8b881beb81f7c71ac1d7e203","datavalue":{"value":"Levy collapse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271989$D1B9027C-3DB3-4DAD-9E53-6EC1AEDC40C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928c534cb6979efa011bfce42323972c8bedcbe0","datavalue":{"value":"precipitous ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271989$EE2096EA-E229-442D-9E0B-3B783F1A57DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f5b7ce138372608f03e1c8894162363ff1bdf9","datavalue":{"value":"inner models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271989$8E2BE99F-6D2C-4555-8D7B-99E95A1020C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2fe1204a596f5dc884d490889bbecf2a1785f24","datavalue":{"value":{"entity-type":"item","numeric-id":587964,"id":"Q587964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$9AB11A4A-138E-4D03-BBC9-B29504ED8F94","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":"Q2271989$ED44314A-B704-47F1-8229-238F478652C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4528eaf0fbf8ab80f2c77833faf5ea7aecf1995","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271989$611A8DA7-173D-41FA-AFF8-38A302D1B990","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a642dd33a82b1a8d691f89868a78fc3f0e56737c","datavalue":{"value":"W1973633043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$DE2C0119-A86B-4668-8C73-AB70DED01A21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb9492ea473916084b06b6e997d88c17734a06e","datavalue":{"value":{"entity-type":"item","numeric-id":4133637,"id":"Q4133637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$9C4042A5-0232-4A05-AF56-B6BC056C18AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4508e1aa25a479084016cc066f1fb106b9846d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3206942,"id":"Q3206942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$6531A15A-6026-48A7-A8F4-80BAA8DAE092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58578354fbd099811472ff9527cb643685b3ebb","datavalue":{"value":{"entity-type":"item","numeric-id":5557903,"id":"Q5557903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$93AB8BF8-CEA3-4397-B9DD-0F010222D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bf68a26bc4ea23a6948c5f800e29d282e3ed13","datavalue":{"value":{"entity-type":"item","numeric-id":1102944,"id":"Q1102944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$890D0F17-8C78-49E5-BFD9-D6849BB2BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2681a42f7fa3bc4c8480f30492e2558512dc01","datavalue":{"value":{"entity-type":"item","numeric-id":4180344,"id":"Q4180344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$798106B1-FE16-46A9-A90E-FDB8970B9EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250846aba6ed59704dad27dc415815a8bf814042","datavalue":{"value":{"entity-type":"item","numeric-id":1142208,"id":"Q1142208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$92928264-0878-4334-B4A1-5BC7A6CA5B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1aad3dabbf5bf9d8aa7c14fbf9553e436279fe","datavalue":{"value":{"entity-type":"item","numeric-id":3717041,"id":"Q3717041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$190B1B4E-B808-479C-830F-3F411C678DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$1B709BCC-85ED-4CFB-8B02-718B666D8362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5f95edf25a1a7a75c09c22cdc3e07004d64a43","datavalue":{"value":{"entity-type":"item","numeric-id":4182742,"id":"Q4182742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$734B8EEC-7D1E-436D-A0B1-8F26239D31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e02da02a8dcea4d7debb969430ea492a487170","datavalue":{"value":{"entity-type":"item","numeric-id":5730895,"id":"Q5730895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$3D070AC8-F129-424E-92D7-6212EAAE361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d19e866201373805debf3659944aadfd16d8bb","datavalue":{"value":{"entity-type":"item","numeric-id":1240731,"id":"Q1240731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$CD9A1061-EDE8-4EF0-A124-30142ECD0D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7a573609f63fe496763b26bea1466c64fc384e","datavalue":{"value":{"entity-type":"item","numeric-id":1241515,"id":"Q1241515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$3244385C-B05B-4B63-984E-164F3C14249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3119e96dff7a37d020dd7cda6b9ec6b4b786ac85","datavalue":{"value":{"entity-type":"item","numeric-id":5684676,"id":"Q5684676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$A30D3969-9935-4E18-AEE4-4BDE929D8F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64961dfda9d7957bb355ebcf50255306e7f6abfe","datavalue":{"value":{"entity-type":"item","numeric-id":5613932,"id":"Q5613932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$A9BC81AF-D2A1-4A4B-8D60-677F5B483687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4721d481a6965c118b000aa9ab3cb17995e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":2560243,"id":"Q2560243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$C1D73200-C529-40AE-9486-EE553C39EA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94578bc09f15fc9565825cc3765e93aa0ccf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":4078034,"id":"Q4078034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$7AE04A5A-64B4-4CFC-821B-E41AA93706DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f48f65b0d0bb8c9c02df48186fc1ecf0523097","datavalue":{"value":{"entity-type":"item","numeric-id":4154561,"id":"Q4154561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271989$95DA242E-5AE7-4E14-8426-E80BB7B8C31F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eb163cf952cdefc25172b7b29c8adbd2c7bb0ad","datavalue":{"value":"10.1016/J.APAL.2009.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271989$B080D556-62C2-493E-851C-F387506946A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782d77f122ef65bdfd00e2825fe4434d532a6395","datavalue":{"value":{"entity-type":"item","numeric-id":5690966,"id":"Q5690966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffdcfa1945b6f569e5ce1191165fbe3f5f761ac","datavalue":{"value":{"amount":"+0.7715889811515808","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":"Q2271989$D758F0BB-49D0-4D77-83AD-07F002DBBAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bae5505d92d383d8de436829a0fb7fd977c72c33","datavalue":{"value":{"entity-type":"item","numeric-id":1077413,"id":"Q1077413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f965cea25db701d6451864a4088d21f029c6c0","datavalue":{"value":{"amount":"+0.7571648359298706","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":"Q2271989$616B75E3-63C0-4C35-A308-2557EFF832D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9899130ec0956627fbf988a7a75f461d229a7c27","datavalue":{"value":{"entity-type":"item","numeric-id":3977421,"id":"Q3977421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91025f5297bb220f853a57fbf8421d9be9959017","datavalue":{"value":{"amount":"+0.7522236704826355","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":"Q2271989$D873926B-0773-471F-82C4-6EF5DDFCDA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa33c86aa908c02e6243e49a962b25fe7a0f865","datavalue":{"value":{"entity-type":"item","numeric-id":4212932,"id":"Q4212932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563d012d1525cebf82266bd0c35639b5df92859a","datavalue":{"value":{"amount":"+0.7494031190872192","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":"Q2271989$C72C23BB-7752-4423-B77D-98DA41FDF4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45b8a056372acdacefcec2edd023352e9ff081d","datavalue":{"value":{"entity-type":"item","numeric-id":3342563,"id":"Q3342563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563d012d1525cebf82266bd0c35639b5df92859a","datavalue":{"value":{"amount":"+0.7494031190872192","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":"Q2271989$328EBCE5-63F9-4DE9-84FE-BADF41277395","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new characterization of supercompactness and applications","badges":[]}}}}}