{"entities":{"Q1976618":{"pageid":1987360,"ns":120,"title":"Item:Q1976618","lastrevid":72155913,"modified":"2026-04-14T03:00:27Z","type":"item","id":"Q1976618","labels":{"en":{"language":"en","value":"The generalized continuum hypothesis revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1445785"}},"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":"Q1976618$AE7EF7EE-E1BD-40BC-9426-D7815929C230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdaffe04a6a7cd8c753d66666024e387a8f39bcf","datavalue":{"value":{"text":"The generalized continuum hypothesis revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976618$70AF67DF-291D-4207-BF87-DD012A329D25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b1bf469624de625eff283df48537002aead586c","datavalue":{"value":"0955.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976618$4DF6E4C7-7527-4A53-AC21-70A6BEF84454","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8f4cc1a56e662e03b598d9c107cc7db4dfdef02","datavalue":{"value":"10.1007/BF02773223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976618$ED1D3D35-EB93-4E7C-AC66-9A65ACA303F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$C62E783A-E7C3-4602-95E9-23FD40F67E6E","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":"Q1976618$9A7DA9A0-0654-4567-BC56-13102C0CA02C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f21e8384918bd90baf0f256ee36ccca9a6524f58","datavalue":{"value":{"time":"+2000-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976618$D5F47D35-DB4E-45A4-BF9B-F7BF4D2D0744","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74d48625c1443854b26eccc1d88d9c6510eb2c04","datavalue":{"value":"https://arxiv.org/abs/math/9809200","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976618$9AFD5C02-17DF-459A-B959-90444F31A116","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32e784a85242c60fa00adb6cb3c4c805a73c8333","datavalue":{"value":"For cardinals \\(\\lambda\\) and \\(\\theta\\), the author defines \\(\\lambda^{[\\theta]}\\), \\(\\lambda\\) to the revised power \\(\\theta\\), to be the minimal cardinality of any family \\(\\mathcal P\\) of \\(\\theta\\)-size subsets of \\(\\lambda\\) such that every \\(\\theta\\)-size subset of \\(\\lambda\\) is contained in the union of strictly fewer than \\(\\theta\\) members of the family \\(\\mathcal P\\).    The main theorem proved in the paper is the following. Let \\(\\mu\\) be a singular strong limit cardinal, and take any cardinal \\(\\lambda > \\mu\\). For some cardinal \\(\\kappa < \\mu\\), there is a family \\(\\mathcal P\\) of \\(<\\mu\\)-size subsets of \\(\\lambda\\) with \\(|{\\mathcal P}|=\\lambda\\), such that every \\(<\\mu\\)-size subset of \\(\\lambda\\) is equal to the union of \\(<\\kappa\\) members of \\(\\mathcal P\\). The proof uses generic ultrapowers. Then a related but stronger theorem is proved using pcf theory.    The main theorem has the consequence that, for \\(\\lambda\\) and \\(\\mu\\) as in the main theorem, there is some \\(\\kappa < \\mu\\) such that for all regular cardinals \\(\\theta\\) with \\(\\kappa \\leq \\theta < \\lambda\\), we have \\(\\lambda^{[\\theta]}=\\lambda\\). (Thus for each \\(\\lambda\\), for most \\(\\theta\\) sufficiently smaller than \\(\\lambda\\), \\(\\lambda^{[\\theta]}=\\lambda\\).) Somewhat tongue in cheek, the author argues that this is a reasonable way to rephrase the generalized continuum hypothesis so as to obtain a replacement for Hilbert's first problem which is provable in ordinary set theory.    The paper concludes with a number of further applications of the main theorem: to diamonds, to a topological problem, to the existence of small models, etc.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976618$CC031D2A-3C82-4AF3-84D6-2E97B85845DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976618$04F21AF1-4D8A-4A51-B75F-9EEAADE5CF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976618$62037198-151C-4590-84C3-2BD9BF82DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d47e25e8cf618d2abb950656f24c2f07fd7d2928","datavalue":{"value":"03E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976618$1558516A-7A77-44C2-A725-908F515451C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b8813b1bd472cca9a3fa5a98fb0f7ed85bcbe58","datavalue":{"value":"1445785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976618$7FED7860-20AC-4CB2-A1B7-0DB15B8255C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0638f74cb2ecb69ee7d9c3a2dcc0e050503125","datavalue":{"value":"generalized continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976618$4FCFAE1E-7496-492F-944A-75F3A3BB147F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75aec86f8e12b350bef363645bfad54f9558610d","datavalue":{"value":"pcf theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976618$92456B28-4652-4395-AF24-010A10BBB0BA","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":"Q1976618$391BD458-733E-4285-8A3D-96C978CEBC39","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":"Q1976618$5148C3E2-1665-418A-A898-2ABE73001753","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ced0515436713312e965f1cf49e74de19d5a8ec","datavalue":{"value":{"entity-type":"item","numeric-id":3997327,"id":"Q3997327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$E8919BC7-B4F5-4FB7-9C2D-9112A2CFA458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247300448dcac2ca9bfc7443b900a71c316ecc95","datavalue":{"value":{"entity-type":"item","numeric-id":4090273,"id":"Q4090273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$A74AB686-D45D-4094-935F-F046FD3AFE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9333bca39a0e53bf4602fe31826d8e53baa66e29","datavalue":{"value":{"entity-type":"item","numeric-id":2639060,"id":"Q2639060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$4A88ECCC-B9E1-4130-8114-E72DD2185253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792619787fc92a8791f04699f311caaa4a52e7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1114682,"id":"Q1114682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$AC66C1A5-C9D4-4BB4-B7CA-DBCD8F2C06FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c504d005b7532e27a604f0dc718dbf518825d9","datavalue":{"value":{"entity-type":"item","numeric-id":4116450,"id":"Q4116450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$5DE27785-D865-4FE9-8AF6-C0F81529455E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502114eb3e8aed405c7c310cfa90827547a877f5","datavalue":{"value":{"entity-type":"item","numeric-id":3755449,"id":"Q3755449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$8E87097F-A427-43B2-AA50-E7CD8B748EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac76dca754d6a8efac3b92539fb40936ee838704","datavalue":{"value":{"entity-type":"item","numeric-id":688436,"id":"Q688436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$E9A915DB-7E36-4A2C-B7E8-CE57F48E7696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fa07852502b26516211956816912a7af713b85","datavalue":{"value":{"entity-type":"item","numeric-id":1204109,"id":"Q1204109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$FD129698-A146-494B-B53C-CB74DC1D6275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e0c0360a20037a9e4385f6ba1c32c13802688","datavalue":{"value":{"entity-type":"item","numeric-id":4523077,"id":"Q4523077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$7E0D976F-F35E-4953-B7F5-EC98EB9DECB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5767380222327a9b732d68ceea0aa549c2301eb","datavalue":{"value":{"entity-type":"item","numeric-id":4523072,"id":"Q4523072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$9C106AD9-0593-4947-A29F-FA0908D91AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d010ad82051436265c46dfd63be8aa3fb1e73529","datavalue":{"value":{"entity-type":"item","numeric-id":2710599,"id":"Q2710599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$69712D2B-9FEE-410F-803E-E773B37DF9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eaf251446f1affa8083554c5ff954004ed26a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3895456,"id":"Q3895456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$A44AA358-5A59-4A96-ACD8-FB8197191022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edcb0283eff021717f74372fe7d19b39b0dc88c","datavalue":{"value":{"entity-type":"item","numeric-id":3967520,"id":"Q3967520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$9E9F38A1-DB96-4655-B948-626B6E430675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccca2b0069d0132b42f99cfcba243adb96d5fa0a","datavalue":{"value":{"entity-type":"item","numeric-id":1179532,"id":"Q1179532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$98B5F262-51CA-402D-BB96-0C9ACDEFE5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5314d08e9be56bcbec81c4f8addf7f4ad89d57d8","datavalue":{"value":{"entity-type":"item","numeric-id":4005807,"id":"Q4005807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$0A094021-A495-43E7-B745-8FAD87043842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c984a9677463a9faccea0335a231ae2987e0f93","datavalue":{"value":{"entity-type":"item","numeric-id":4881861,"id":"Q4881861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$12A565ED-843A-42DB-AB85-117A228D25C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10709dc1f5478cf4248fdf6eff5bd8c2b4ddb39e","datavalue":{"value":{"entity-type":"item","numeric-id":1313596,"id":"Q1313596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$2C4F018C-24B9-4733-B361-F1A89470555D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfa8394f77a3de28772ecc88086b6d4867e30f7","datavalue":{"value":{"entity-type":"item","numeric-id":4326402,"id":"Q4326402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$EE27E809-0061-4D39-A493-64920C9674D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498856cf22385f70211e2b5fb8127efc7504dafa","datavalue":{"value":{"entity-type":"item","numeric-id":1326771,"id":"Q1326771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$82957340-5B6F-4F76-AD03-5D7028B0EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f683aa46857f5386f3cdeb7829378ac2072caefa","datavalue":{"value":{"entity-type":"item","numeric-id":1817270,"id":"Q1817270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976618$CF94A375-2EB7-4DC3-AC39-1770A806E6DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d392e2de732e84af1ca65ebc5c2a039108abf47f","datavalue":{"value":{"entity-type":"item","numeric-id":3346302,"id":"Q3346302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f8081cc5f521237c2bb7e6178d08110bbb5518","datavalue":{"value":{"amount":"+0.808541476726532","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":"Q1976618$C2A98CB9-D9B5-49A5-ACC7-6FBDD47429F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8489efa9cc2d7c4b03b1b4e6f7978b3da2c392","datavalue":{"value":{"entity-type":"item","numeric-id":2639060,"id":"Q2639060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e86fa1a86db41cc26e8c73cb17956ba9289520e","datavalue":{"value":{"amount":"+0.8015897870063782","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":"Q1976618$BE7EDFD3-115F-41EE-8FE8-9542D78A5376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc68c955a791689603bfe0f3b94d56a30a72818","datavalue":{"value":{"entity-type":"item","numeric-id":4326402,"id":"Q4326402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e152ab2740d7d890fb0b7bcdf3fadfe1b4d30710","datavalue":{"value":{"amount":"+0.7724087834358215","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":"Q1976618$E86DEC3B-FAAF-4C95-AF77-A95AAED043EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c247f05c692c72ef049fd24aa2ac929da76ff75c","datavalue":{"value":{"entity-type":"item","numeric-id":4694295,"id":"Q4694295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93f25b8c8cc8387cfab6782c30c97cbeee10efe","datavalue":{"value":{"amount":"+0.7713742852210999","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":"Q1976618$B7629A3A-250E-4038-BA16-0555B5231232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e739e3fef72c7d7d59c3d25253ecaf475217d53a","datavalue":{"value":{"entity-type":"item","numeric-id":1098847,"id":"Q1098847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5f9b0135839e3b3dac54e91faa2e2ae00c72e8","datavalue":{"value":{"amount":"+0.7708101272583008","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":"Q1976618$1447B6B4-7150-4971-BB02-CEE670050956","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The generalized continuum hypothesis revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_generalized_continuum_hypothesis_revisited"}}}}}