{"entities":{"Q701724":{"pageid":703573,"ns":120,"title":"Item:Q701724","lastrevid":63639504,"modified":"2026-04-11T14:32:48Z","type":"item","id":"Q701724","labels":{"en":{"language":"en","value":"Generic compactness reformulated"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123150"}},"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":"Q701724$AAA99594-AD88-477E-9426-64773398ABD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d3b0768970651d7fad61d7ad9258789f9a2324c","datavalue":{"value":{"text":"Generic compactness reformulated","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701724$7BB0A721-1B8E-4D44-B1EE-17C9816BB621","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e85959d9366ae21004d0170ad282334b54b5e7b","datavalue":{"value":"1069.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$4E1E8D19-6F91-42F8-BFD0-03021B86EC24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"234b0cc784471223b6ed84851c0d96bf4032e580","datavalue":{"value":{"entity-type":"item","numeric-id":701723,"id":"Q701723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701724$D67B3ECC-426D-4575-A9F9-A0B158F544E9","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":"Q701724$CF9047BF-D5C2-4636-97BD-8658981E06B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701724$6032D633-1085-4FF0-9E97-3D012AAD1473","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6db03fc748d172949282cbd2afca8877b772fa67","datavalue":{"value":"The author introduces the Game Reflection Principle GRP\\(^+\\) that asserts that for every regular uncountable cardinal \\(\\lambda\\), player II has a winning strategy in the two-person game \\(G_\\lambda\\) that is defined as follows: The game lasts \\(\\omega_1\\) moves, with player I moving first at limit steps. I produces a sequence \\(\\langle f_\\alpha : \\alpha < \\omega_1\\rangle\\), where \\(f_\\alpha : [\\lambda]^{\\omega_1} \\to \\lambda\\) and \\(f_\\alpha (a)\\in a\\) for all \\(a\\in [\\lambda]^{\\omega_1}\\), and II produces a sequence \\(\\langle \\delta_\\alpha : \\alpha < \\omega_1\\rangle\\), where \\(\\delta_\\alpha\\in\\lambda\\). II wins if and only if \\(\\Big| \\bigcap_{\\alpha < \\beta} f_\\alpha^{-1} (\\delta_\\alpha )\\Big| \\geq 2\\) for every \\(\\beta < \\omega_1\\). It is shown that GRP\\(^+\\) holds if and only if \\(\\omega_2\\) is generically supercompact by \\(\\omega\\)-closed forcing. It follows that if \\(\\kappa\\) is a supercompact cardinal and \\({\\mathbb P}\\) is the Levy collapse of every uncountable cardinal less than \\(\\kappa\\) to \\(\\omega_1\\), then, in \\(V^{\\mathbb P}\\), GRP\\(^+\\) holds. It is also shown that CH, Rado's conjecture and the semiproperness of Namba forcing are all implied by GRP\\(^+\\).  Reviewer's comment: Proposition 1 is due to the reviewer [see ``Concerning stationary subsets of \\([\\lambda]^{<\\kappa}\\)'', Lect. Notes Math. 1401, 119--127 (1989; Zbl 0683.03027)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q701724$E3852063-448A-44C1-ABDA-E70AFD03C9B9","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":"Q701724$3533A68F-C041-49D3-93D7-33B8BD38C610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$F416ECCA-AE5C-4274-BCB2-20E214E67C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$A6D4C2F2-1981-485C-BADA-61C6FDA864B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$3B41764E-7049-4471-8560-FB9130CF2769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$ABBEC357-362B-4C90-9E11-D95D6331AA35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31af737f6f7c16826ac905a03bed1f207dc41528","datavalue":{"value":"2123150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$07872874-E844-429F-AA1B-A3B97219DF5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eda0bf7840cad07edb828017204cb8f9a6e1f035","datavalue":{"value":"generic large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q701724$4A85B4AD-C2D5-49D6-8FAE-1038976A2FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q701724$92FB7D7B-B043-4DF4-9F43-D336F2CD2CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9ad3855a0c376218c82ab30ca8c4591f9d0721","datavalue":{"value":"stationary reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q701724$FED8B76E-2990-4D02-AD56-86C687A04344","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":"Q701724$DD4B58E0-0319-4B70-A873-9275B76993FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d9745c37400cb26e04c9c157384a976982a2edf","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0211-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q701724$163A0533-F223-4BCA-8CBA-551282F54764","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c3e3269bc2a486ba3a71015150530c812b71a06","datavalue":{"value":"W1538257633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$4CC1C8C8-4225-4D72-B53F-82FFA4EC3F75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df79a236a3d0ee3277fe7ad85dd93206e4ec4e06","datavalue":{"value":"10.1007/S00153-003-0211-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701724$7ED692CC-D426-4825-8685-B6F273025604","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8a02a69e2bcd48322fa26dc7033a55d4557e16","datavalue":{"value":{"entity-type":"item","numeric-id":3541999,"id":"Q3541999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ab6e0c393dda4b603eeb4bf024f90163b8edfc","datavalue":{"value":{"amount":"+0.7461244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$98B7DF31-848B-4AFA-906F-F22BE9029C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5b2d48630d96574d67ee9ab65193947d928d5a","datavalue":{"value":{"entity-type":"item","numeric-id":4304095,"id":"Q4304095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556e3e74018d2dc94d1aba8cb7ae6a4b9916fa39","datavalue":{"value":{"amount":"+0.743698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$1B281450-1083-4DC0-B3E1-2BBE67345012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bdf3112dc7b51e45e7dc23f567b09ec8915d62","datavalue":{"value":{"entity-type":"item","numeric-id":1179532,"id":"Q1179532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab188d1e6f1a736e48753739f559c4d11f10d03","datavalue":{"value":{"amount":"+0.7283729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$11E1B440-DB40-4B2A-ACC5-E7CAFF43901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d29c541bf9f4098eccc3a903f8c3127b374cda3","datavalue":{"value":{"entity-type":"item","numeric-id":3481693,"id":"Q3481693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdda88a170521b0de2c9c2077d7a126c27c342c3","datavalue":{"value":{"amount":"+0.7257829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$C38B8746-78A6-4044-B134-E08C0F56A310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f4d598ffb208a6a482d5ad9a4833177c8104be","datavalue":{"value":{"entity-type":"item","numeric-id":972499,"id":"Q972499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa2c678a193383f43a56e1641065ddf31a037fc","datavalue":{"value":{"amount":"+0.7242019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$27B34325-44D2-4020-A7A1-C18DC4B422A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6fc40a67887fa461ad7122b61a18bc60d50235","datavalue":{"value":{"entity-type":"item","numeric-id":3093480,"id":"Q3093480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7060defdb5467fea769c56b9544948d94d19d0","datavalue":{"value":{"amount":"+0.7200512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$BFAD6F39-428E-455E-A372-1CE89F4EA121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c528d83e5c35752a0bd3a32d48824c0aa54f295","datavalue":{"value":{"entity-type":"item","numeric-id":6161729,"id":"Q6161729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cc31eb4928f908df889b3bec995292ee4832d0","datavalue":{"value":{"amount":"+0.7198249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$F3F53034-6F82-4801-9C01-2F620C91A91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce623561ba16c7de74e209bd2e2b1a4f9f1de584","datavalue":{"value":{"entity-type":"item","numeric-id":3606375,"id":"Q3606375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600077a67721ef49ed4611040788855ac1f6c641","datavalue":{"value":{"amount":"+0.7151623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$18DF39AF-AD6A-4666-A9EF-65C53C052C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e920f0d185dfa27b295ae35dd2d137ef65278a41","datavalue":{"value":{"entity-type":"item","numeric-id":5883189,"id":"Q5883189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f411d8f9288caf84d85763d3bdb9754b15fe303","datavalue":{"value":{"amount":"+0.7150319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$B7F17BAD-A519-4590-97CC-44E0F5B6E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79af08ebe6836bb9ad9b5e9c14bbb3b9741faeb5","datavalue":{"value":{"entity-type":"item","numeric-id":1818433,"id":"Q1818433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fdf38f0123be06ef6b3e5fbf248c597f52348a0","datavalue":{"value":{"amount":"+0.71309155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701724$4AE36BE4-DE7A-4539-AEE1-0D84BAB69C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic compactness reformulated","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_compactness_reformulated"}}}}}