{"entities":{"Q915727":{"pageid":917575,"ns":120,"title":"Item:Q915727","lastrevid":65351034,"modified":"2026-04-12T01:59:22Z","type":"item","id":"Q915727","labels":{"en":{"language":"en","value":"Results on the generic Kurepa hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152369"}},"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":"Q915727$A6C6DFD9-AA8C-4A5B-A5C4-FBB74E1D74AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3f63cd21d20c1beefdc11eb60f8bf3e45a4c2e1","datavalue":{"value":{"text":"Results on the generic Kurepa hypothesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915727$FB13444E-88D2-40E9-B633-6E56D2B5C880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"903e1ea303d4347dc2a172f24ef34dd878a5c19b","datavalue":{"value":"0703.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915727$ACD0D187-D163-484A-A482-10ED617EF24F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b4527923710e7a41b7d152e368093ab64b883e2","datavalue":{"value":"10.1007/BF01793783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915727$DCA18729-8DD3-48D3-B8D7-12D715C666E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5544598707b492ba0b4aba2ee7c1e40acbfa33","datavalue":{"value":{"entity-type":"item","numeric-id":915726,"id":"Q915726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$F4694CC3-B0AC-4A9C-93DE-66DA0C842D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4120420f32096a74456a9ab04c44cd4c5022a172","datavalue":{"value":{"entity-type":"item","numeric-id":969422,"id":"Q969422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$ED7E48D9-9EEE-4D4B-96B7-A44C62CB086E","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":"Q915727$37AD256D-980E-4098-9F4A-C2B95D8F4E84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915727$187FD3F9-3457-4F12-AFC1-7A8839ECDB68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d17021a8dae9b0620ab12069c1533066033d8e9f","datavalue":{"value":"If the existence of a Mahlo cardinal is consistent then so are CH plus the Suslin hypothesis plus the non-existence of Kurepa trees even in ccc extensions. The proof is a modified version of those given by Jensen and Devlin for weaker results. The box-sequence of those proofs is replaced by a weaker sequence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$A0471C01-C3D3-4D97-B294-9D446D5138C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915727$C74E5077-EC62-4B6C-8938-330A64BE7B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915727$D7691CE7-1390-4704-96B3-1F807B39571C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c3cf8bcf2a0a1437cc7f667b369ecad5abd0131","datavalue":{"value":"4152369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915727$653566A0-AF88-4D0B-9E3D-D8822C613C81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aea395cfac88785ba6388ee1fe1129625f58023","datavalue":{"value":"iterated forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$2851D4C9-FD3B-4E00-BE48-FBC815C25628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc568a3edbb6648e3287a9aa647b36fb36de8ac","datavalue":{"value":"Aronszajn trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$5AA74176-70C1-4B8F-818E-1ECABA32314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80d44a9c4f6f2ff94c8141dd47a3b4d128b731f","datavalue":{"value":"Suslin trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$A702E17B-CE91-4016-B426-27DE19C28A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c117d52851a76bd4a4cff099c1e6125ce7c14e","datavalue":{"value":"Mahlo cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$8206CE48-62E5-4A9D-B2E1-F2BAAD816FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc16aac6d2ea60085fceba1fdda10f5239b2f7ec","datavalue":{"value":"CH","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$EB2EE23A-7E99-4EA1-B656-9E03CAA4AB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c91c8cecde5a63780fcad1f1c8bc2fc6925047f","datavalue":{"value":"Suslin hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$CF3ED660-2575-4CD6-9957-B523A33AE0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed8eceb822c3f5c4d1ca2c0f105e313eed8bf1a","datavalue":{"value":"non-existence of Kurepa trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$B9598314-43EE-4BB7-A14F-80CE5F9727B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a700abb7f5a9d969bb4613af4cbbc02ff7fc73","datavalue":{"value":"ccc extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q915727$87123FA8-5747-4BBA-BF63-70C676F45A22","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$DFF2786F-A62F-422D-B714-8E18696AED66","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":"Q915727$9BF06D66-B8B9-48DF-AF83-CB5E37BCA610","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccbcfd7e342f92ce474b668987130a65c2b46aa","datavalue":{"value":{"entity-type":"item","numeric-id":3921212,"id":"Q3921212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$FDCC42FA-9B58-4750-8A53-F481622DE9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e2465e8cbc66c2b4fd229d1f9b1de1f6da0b47","datavalue":{"value":{"entity-type":"item","numeric-id":4180343,"id":"Q4180343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$973B9E79-E690-4ED0-9AF0-2FC2F3E31330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8396e612daf5d6b9ceaca1fc0a068de4823a5b1","datavalue":{"value":{"entity-type":"item","numeric-id":3922668,"id":"Q3922668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$B9AFA7A8-4349-43DF-9DB9-14CDF93D85B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc50e39d9a1b00290b72bda18e41819d4d766e3","datavalue":{"value":{"entity-type":"item","numeric-id":1846867,"id":"Q1846867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$45B4E015-85D6-407A-8CB0-7373F20C6792","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":"Q915727$F6E36A29-8EFD-40E9-9517-ECD61D2B5003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d094261f813d81e36506f104311f1b7271cb7377","datavalue":{"value":{"entity-type":"item","numeric-id":5903226,"id":"Q5903226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$F67F7163-EAB5-44F2-ABE1-C59165B8DFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915727$05F05900-9DCE-49A2-8E01-D089170716ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67523d0ba15a1827f7d1603b4f07203ac0768926","datavalue":{"value":"https://doi.org/10.1007/bf01793783","type":"string"},"datatype":"url"},"type":"statement","id":"Q915727$AFD235CB-E03D-4E1F-9100-9B3D43819088","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84cfb17d32780fa8a5b9a96a2b2920b03ab8f447","datavalue":{"value":"W1997787331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915727$9308CFF8-6BD4-40A7-BBCF-50FC72F9E0FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4da1c95c7d383d6bbaf26f11bfb0d89637db519","datavalue":{"value":{"entity-type":"item","numeric-id":4774096,"id":"Q4774096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca3e24451ca73be938e25ae7738f5cffeee79ac","datavalue":{"value":{"amount":"+0.81451386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$A13B5D1C-75AE-46C4-9EE9-0BAF0D837CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d978ab89bcec573d73efbedabfcfb3736e9549fa","datavalue":{"value":{"entity-type":"item","numeric-id":3804694,"id":"Q3804694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6e4b8eb6c49ab2f6d654c0b75c0b7355ba69c5","datavalue":{"value":{"amount":"+0.81089425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$1914A4E4-258F-4F51-A46E-988F9D7C17DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89acc65315ffecf28df73796652349928fc33df0","datavalue":{"value":{"entity-type":"item","numeric-id":1098957,"id":"Q1098957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c4de49a0f8c91b4f1a307371e06f5f66a962b4","datavalue":{"value":{"amount":"+0.79588604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$03287F42-7757-4DCE-B753-5B61C1FBB995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d662dcd52f6f59cc63a80a07a87f9650a37aff5","datavalue":{"value":{"entity-type":"item","numeric-id":2733967,"id":"Q2733967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951232a53e84e03afc62eb03bfa5bf08744dfd4b","datavalue":{"value":{"amount":"+0.7922517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$67747CF4-752D-487F-83DF-FB3B158551F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9737dadf28c72b1c6f820bf43f54aa031b4e102d","datavalue":{"value":{"entity-type":"item","numeric-id":783240,"id":"Q783240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78030c8202841ac6fd87896486a8e3986a5dfd73","datavalue":{"value":{"amount":"+0.78111136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$CCD45C3F-0D2A-4913-AE56-2B74F3FF66B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffd3be41ef1305800f353ea53f1df10b45292f2","datavalue":{"value":{"entity-type":"item","numeric-id":3481697,"id":"Q3481697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260fcb112b02aaff62834170cc4572cd890966fa","datavalue":{"value":{"amount":"+0.77835387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$B7031558-3D5A-4CEB-BD46-B9B5195E5204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656f1cdbbcf70b84d6dbd7096d56d881d62a5a81","datavalue":{"value":{"entity-type":"item","numeric-id":3153135,"id":"Q3153135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31187062c07d16d97e746de4d6f6125f7881c4af","datavalue":{"value":{"amount":"+0.77027345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$E0C800B4-111D-4271-B3F0-0B9E32E72275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55f5152504a2ae167eb4b42b95ecd241e096413","datavalue":{"value":{"entity-type":"item","numeric-id":4928255,"id":"Q4928255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8777f448f797fd797ad9ebb8c7b31cf3a9f8969c","datavalue":{"value":{"amount":"+0.76646864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$96EE61F3-ACBE-43F7-A886-D10913BCE3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e9b6f9ed3b2b75eb119618a7fb0f568c784fc5","datavalue":{"value":{"entity-type":"item","numeric-id":4441024,"id":"Q4441024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6985a6c4b03453031541665aa82e6ce55f0af1","datavalue":{"value":{"amount":"+0.7600119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q915727$68449633-BCC2-4A39-8572-05E8CF426DE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Results on the generic Kurepa hypothesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Results_on_the_generic_Kurepa_hypothesis"}}}}}