{"entities":{"Q453189":{"pageid":454956,"ns":120,"title":"Item:Q453189","lastrevid":61947510,"modified":"2026-04-11T02:45:11Z","type":"item","id":"Q453189","labels":{"en":{"language":"en","value":"Independence of higher Kurepa hypotheses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083822"}},"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":"Q453189$7C1E82D0-8B89-44F9-8A8F-BCA6BCF9A054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b804ec9d62e2ce8aee99a8cbfc7667edaef0522","datavalue":{"value":{"text":"Independence of higher Kurepa hypotheses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453189$E3DD9AAF-A193-4C73-B2F2-08882F8B7E6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a43d3798781ddb800cc22c48c74b4b1a2bf3b733","datavalue":{"value":"1278.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$DA7964B0-3B72-458D-BE16-6DB43AF0FCD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2b2115389686798f935530714325ea58941b30","datavalue":{"value":{"entity-type":"item","numeric-id":453188,"id":"Q453188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453189$DA0C706A-5030-4443-9F77-4A18DD55C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7bfc7c1815d9d17bc727832b0a6cf598db7157","datavalue":{"value":{"entity-type":"item","numeric-id":487690,"id":"Q487690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453189$E8AFDF4D-3BF3-401F-82A5-D81B0F2777E2","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":"Q453189$C13CB993-1A41-41F5-9E21-9079A58A3015","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453189$6391E5BB-DB9F-42A7-8B5B-AE8C88F178C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89ed0dbe6552907ef5a01ee15136016726aad3f9","datavalue":{"value":"https://arxiv.org/abs/1510.02932","type":"string"},"datatype":"url"},"type":"statement","id":"Q453189$34C9F15A-E832-4C76-AE1B-F1E524A31E13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca618f8fd727cf322f4e43003a389dc592f687fb","datavalue":{"value":"For infinite cardinals \\(\\lambda < \\kappa\\), a \\((\\kappa,\\lambda)\\)-Kurepa family is a family \\({\\mathcal F}\\) of subsets of \\(\\kappa\\) of size at least \\(\\kappa^+\\) such that for all subsets \\(x\\) of \\(\\kappa\\) of size \\(\\lambda\\), the restriction \\({\\mathcal F} \\restriction x = \\{ y \\cap x : y \\in {\\mathcal F}\\}\\) has size at most \\(\\lambda\\). For \\(n \\geq 1\\), the gap-\\(n\\)-Kurepa hypothesis states that there is a \\((\\lambda^{+n},\\lambda)\\)-Kurepa family for all infinite cardinals \\(\\lambda\\). A well-known result of Jensen says that assuming the axiom of constructibility there are \\((\\kappa,\\lambda)\\)-Kurepa families for all \\(\\lambda < \\kappa\\) with \\(\\kappa\\) regular.  The authors prove that for \\(n \\geq 1\\) the statement that GCH holds, the gap-\\(m\\)-Kurepa hypothesis holds for all \\(m \\neq n\\), yet the gap-\\(n\\)-Kurepa hypothesis fails is equiconsistent with an inaccessible cardinal. To obtain the consistency of this statement, an inaccessible \\(\\kappa\\) is L\u00e9vy-collapsed to \\(\\omega_{n+1}\\), thus yielding the nonexistence of \\((\\omega_n, \\omega)\\)-Kurepa families, and then \\((\\omega_n, \\omega_i)\\)-Kurepa families are added generically for all \\(0 < i <n\\). For the converse, the authors show more generally that the nonexistence of \\((\\kappa,\\lambda)\\)-Kurepa families for regular \\(\\kappa\\) with \\(\\kappa^\\lambda =\\kappa\\) implies that \\(\\kappa^+ \\) is inaccessible in the constructible universe \\(L\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q453189$EE1572AD-5AD0-4C4E-B6A2-D8E4CEBF81FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$0518C637-C653-4854-B884-2BF9127681CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$89F817CA-2566-440A-8E92-9627F5F02AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$7B680190-F95A-42A5-81C2-184E4E8FB1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$09185C4B-0EAE-43C1-9A6E-7201B98668CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$67F08DEB-8601-4276-B9CE-F5AD49FA9C8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06d49504a0fd01768403c2baa47c229049e28db","datavalue":{"value":"6083822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$6B8F9CFD-A61D-4880-956D-5B2C70329AFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8209a8976fd935ba71de07cb913b7574663c6c","datavalue":{"value":"Kurepa family","type":"string"},"datatype":"string"},"type":"statement","id":"Q453189$2BA9946A-B377-496E-BE92-572B7F1A1B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c10aaf3a709c9a0e2468aac2af415bb0a259fd23","datavalue":{"value":"Kurepa hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453189$AAF8B419-E042-4B53-9B8C-50FE7510CFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5d245bedbbd00e2a48d50a97b0d53723af0be7","datavalue":{"value":"inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q453189$BC4C4111-9C81-4D32-8250-945FDCD342D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f5cb92768365702c0b89d3647f6f23b5d35e","datavalue":{"value":"constructible universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q453189$9D92D598-688E-4C5A-A9D9-0AE7B6CB9C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2ceb899b20300a9fcc7531c8d2c692f8453d9b0","datavalue":{"value":"L\u00e9vy collapse","type":"string"},"datatype":"string"},"type":"statement","id":"Q453189$9801724A-9234-4C89-9C77-BECF295178FD","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":"Q453189$79FFF83A-6DD2-4A4A-9FDC-80024D877961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d3e7b50182491afad4c2ea084c50b0f132b94a1","datavalue":{"value":"W2069202520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$8F116422-9C44-4CD3-B50C-7D49547D0B42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453189$176435A5-3232-4240-9456-9ABDCF6CD7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453189$10F002B9-5406-48C9-9EFC-E0FE8B47A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb4cc06b8d6814ebc2eef430b364e7b7ec7a2fa","datavalue":{"value":{"entity-type":"item","numeric-id":5668481,"id":"Q5668481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453189$CAC4D6B5-983F-4B2C-A31F-C9C0A59AEADF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adeeeb270281d1530f007f079b3d902953a5b6dd","datavalue":{"value":"10.1007/S00153-012-0286-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453189$3C2C0F8C-5E79-4D3B-BC8C-C9FB64E8CCBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacc409d9ac8986285286d245f3369902b3f61b4","datavalue":{"value":{"entity-type":"item","numeric-id":993495,"id":"Q993495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bfabb536865d5282052a429e19c4e7ff7314bd","datavalue":{"value":{"amount":"+0.85110366","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":"Q453189$CC05F8A4-3E73-4EEF-A2B2-EF9B2191D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ba6e46ccbfc76e263dc914c39062fb5ebdaf10","datavalue":{"value":{"entity-type":"item","numeric-id":1322229,"id":"Q1322229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917fa1281e4ba47a9c98aa44395dce16548ed70d","datavalue":{"value":{"amount":"+0.8476118","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":"Q453189$9BDA3714-1988-4C62-A4E8-F35293A7B0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d09192725efd5bbc5ca7d9d347f996cdb052022","datavalue":{"value":{"entity-type":"item","numeric-id":5586269,"id":"Q5586269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7ae63965c5839a87ac05184a41f0e362e0479f","datavalue":{"value":{"amount":"+0.8473891","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":"Q453189$DE0ECED8-78F1-42C6-A967-34F69C020E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddb606d7569c1f1eeb1da7bda65cee812358e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5213644,"id":"Q5213644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08100bd460aa93e4228684545cd07dc27491a0d0","datavalue":{"value":{"amount":"+0.84286964","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":"Q453189$F9171AF4-97C6-40A7-9A2B-9FF11E58C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6a7ae00126343a233499b8536886a6f2ea3f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1091385,"id":"Q1091385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e08ff02df4453e307b1d0013e3bfb8f830646dc","datavalue":{"value":{"amount":"+0.8381779","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":"Q453189$29A0FD1B-D2DE-4AE2-B683-0ABE1C22BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39d46c4d4c0ce5049fae0b6e9f1acc83846c9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1303973,"id":"Q1303973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929ef08bcf9ff2233380e1a515b9cf8365d36775","datavalue":{"value":{"amount":"+0.8346324","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":"Q453189$99E90F66-167A-4467-85BD-06B36F666471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef55e5e9a549848d831a3ef0037d0dc2f5671f7","datavalue":{"value":{"entity-type":"item","numeric-id":3743426,"id":"Q3743426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589dde25e272828a1e5f51ddec0f7742c9a41666","datavalue":{"value":{"amount":"+0.8319934","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":"Q453189$093F10BF-08EB-47FF-9FF5-32EC6CE77B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188aa62ada3ae994f256b4c138cfea64084b8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3731771,"id":"Q3731771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589dde25e272828a1e5f51ddec0f7742c9a41666","datavalue":{"value":{"amount":"+0.8319934","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":"Q453189$DB88354E-AC3A-4401-9D40-B3813F7BAE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0115000b3aa375ec971692ab274ee841b722922","datavalue":{"value":{"entity-type":"item","numeric-id":5326413,"id":"Q5326413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99d44474f30df9e6edba3d8cedd960e0c75e10c","datavalue":{"value":{"amount":"+0.8303688","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":"Q453189$24772D2F-F79E-46C4-A0AF-F63AF798ED4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence of higher Kurepa hypotheses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_of_higher_Kurepa_hypotheses"}}}}}