{"entities":{"Q1356977":{"pageid":1367716,"ns":120,"title":"Item:Q1356977","lastrevid":68700759,"modified":"2026-04-13T01:31:50Z","type":"item","id":"Q1356977","labels":{"en":{"language":"en","value":"Can a small forcing create Kurepa trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1022203"}},"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":"Q1356977$EFA6D5FF-12E6-4799-A8E6-3F25DE9EE6CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31e1586bbea1697e84788663d9097f5a9ec6840c","datavalue":{"value":{"text":"Can a small forcing create Kurepa trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1356977$22F0A948-29FE-489B-BF64-53D8FEEABA72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aee1538ac786be49314c2aa98ca019a9305fc90","datavalue":{"value":"0876.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$E78FBC0A-CB00-4369-8DC4-9B8847E6A15C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90fe07ffeaad1df64fe1b5dc678c917ac61d17c9","datavalue":{"value":"10.1016/S0168-0072(96)00018-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$C2F0CFF9-916B-4092-A189-39E155A4F93B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ebe076394e73a786cd076a0b8ed9e9ee400727","datavalue":{"value":{"entity-type":"item","numeric-id":331065,"id":"Q331065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$2189941F-F5DE-460E-8216-867FD2DD92B7","rank":"normal"},{"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":"Q1356977$F0E03C8D-A24B-4E5A-8CA4-159DE989B08B","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":"Q1356977$EB287729-1932-4133-888B-C5135671C092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867468f469ba75d0f3d5844c887d31c98dc154f2","datavalue":{"value":{"time":"+1997-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1356977$69CE3748-C692-4916-A8BE-F61828A93827","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b719aaf61948e90e7929a4dd5908859554f4777","datavalue":{"value":"https://arxiv.org/abs/math/9504220","type":"string"},"datatype":"url"},"type":"statement","id":"Q1356977$933783B1-DB9A-42AD-9600-50F7E499029B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2a6d026ce2b441dc5d9c51fd25ba8a263568688","datavalue":{"value":"The aim of the paper is to examine the possibility of creating Kurepa trees in generic extensions of a ground model satisfying CH by an \\(\\omega_1\\)-preserving forcing notion of size at most \\(\\omega_1\\). In the literature there are several known ways of generic constructions of a Kurepa tree (D. H. Stewart, J. H. Silver, B. Veli\u010dkovi\u0107,\\dots) but the used forcing notions have size at least \\(\\omega_2\\) to be able to guarantee that the generic tree has at least \\(\\omega_2\\) branches. In the L\u00e9vy model forcing with \\(\\text{Coll}(\\omega,\\omega_1)\\) produces a Kurepa tree so to avoid this triviality \\(\\omega_1\\)-preserving is required. In the first part of the paper the results show some evidence that in the L\u00e9vy model \\(V\\) it is extremely hard to find such a forcing notion \\(P\\), if it ever exists. If \\(P\\) does not add countable sequences of ordinals, or if \\(S\\subseteq\\omega_1\\) is stationary and \\(P\\) is an \\((S,\\omega)\\)-proper forcing notion (which includes \\(\\omega\\)-proper and Axiom A forcing notions) of size \\(\\leq\\omega_1\\), then there are no Kurepa trees in \\(V^P\\). The Baumgartner and Taylor forcing notion for adding a club subset of \\(\\omega_1\\) by finite conditions has size \\(\\omega_1\\) and is proper but not \\((S,\\omega)\\)-proper. The authors find a general forcing property which this forcing has and prove that all such forcing notions do not add Kurepa trees over the L\u00e9vy model. In the second part, assuming that \\(\\kappa\\) is a strongly inaccessible cardinal, the authors define an \\(\\omega_1\\)-closed \\(\\kappa\\)-c.c.\\ forcing notion collapsing \\(\\kappa\\) to \\(\\omega_2\\) which produces a model of CH with no Kurepa trees but with an \\(\\omega\\)-distributive Aronszajn tree \\(T\\) such that the forcing with \\(T\\) produces a Kurepa tree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356977$33279DAE-AEAC-4E11-916E-99CE4AB1AE0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$350AF6A0-F79B-41A1-BABB-EC7BAA670FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$07885A21-2D25-4095-8BF0-57B53748B982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$A3479BA9-95B3-49D0-9999-D30846EF6F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$9BD065D7-D05B-400F-BCB1-AA92C418A8C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f16616303e03da42d37a95ea33e739e13b0915c","datavalue":{"value":"1022203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$31057F17-05F6-40CC-8E31-BAA342E202EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae1c75e2f69351725124d1a282cf985d974c949","datavalue":{"value":"Kurepa tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356977$A36A4F86-C23B-4C25-9A12-CAA0F35AAE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb0b5fd5f978fcc90e438d0c7cd90b5b85715fa","datavalue":{"value":"Aronszajn tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356977$0C545099-B1DD-4446-B49B-529D3395C4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d1743a3907c82194b52c633606c673419e2354","datavalue":{"value":"\\((S,\\omega)\\)-proper forcing notion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356977$B83A4C21-7B07-453A-B0CA-371B7754BF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ff561259c77b5a93295f089c6fbbcd5dd21a17","datavalue":{"value":"L\u00e9vy model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356977$E6859111-5DBF-4B07-90EA-FEFBBCAE2D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1fc85c51b29a76314bbdae3dbb7e4dcf56980dd","datavalue":{"value":"strongly inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356977$F2D09931-49D5-458B-B63E-07A003416A9D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24f8d16b2be3be7c389bb7bc4bfcdf6adc672a29","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$161403DF-6E0E-4757-9E5A-33CFE82230A8","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":"Q1356977$95A1C698-2EF6-4C22-BA0E-16F3D58F696F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda520519f9bb0d7247c9eed54cc3d7bf512bffe","datavalue":{"value":{"entity-type":"item","numeric-id":1059070,"id":"Q1059070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$B9AAFD7B-946A-442D-A9C0-CEDE3ADA97AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a136c34c478c7d8665ecf606c2323106aa8bd12e","datavalue":{"value":{"entity-type":"item","numeric-id":4749763,"id":"Q4749763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$14D82015-DA12-4D57-93DE-2202DBA35B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a02527b6dc590613bfc39bb6aa25a2bdefb56d2","datavalue":{"value":{"entity-type":"item","numeric-id":3220578,"id":"Q3220578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$949C4F0C-D9BA-4EF1-AFFB-7D7E1CB5E79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e320cec8da55a9062b46d53c4a70c35bfae3a68","datavalue":{"value":{"entity-type":"item","numeric-id":3960836,"id":"Q3960836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$B1F1FA06-4CAA-4562-B397-15460961DF53","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":"Q1356977$3327EC96-CF19-4482-8679-BB04274D3FE7","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":"Q1356977$D1F66D4A-03EF-4F2A-9969-19F14D32921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7626238177f71a14e0825caa39c09904ffc201","datavalue":{"value":{"entity-type":"item","numeric-id":5656763,"id":"Q5656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$D72B3C5E-D375-4566-8FDA-D857308F1730","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":"Q1356977$2E704F3E-4E9A-4892-A111-8CC476708921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fa15e15638af6a762a0493b2abbc9cf2b3aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":688517,"id":"Q688517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$4E8BC579-C16B-4CEA-9CE9-DFEFA2B8F4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf01ff292883c726058ee4df0a2f36ecdd282f1","datavalue":{"value":{"entity-type":"item","numeric-id":1337358,"id":"Q1337358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$F16F5766-9DB2-47C0-9664-C178698993EE","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":"Q1356977$59C8E44C-02A9-42A1-8380-5D48109B4D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$6579819C-6C46-4155-8B29-9CF076C10B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef289b917a565b3292b9c57084a93e31ed23b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1078178,"id":"Q1078178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$C34A0FC4-D28D-42D8-B5DA-1B43C7D4C799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$91FFB8A1-1B6F-4E46-BF19-F1C373FA5711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6535d94d23ff0eec0127389bd92a68db23e45ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3221027,"id":"Q3221027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$D76B8387-57B1-4F13-B192-81FC2200F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fca2c82d27a40344ee054eb9cbc96d01dc05c0","datavalue":{"value":{"entity-type":"item","numeric-id":1201333,"id":"Q1201333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356977$FBF22A31-347B-4551-AC5F-B3127948B594","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f43fa504411825bb4f0b8f5cc7603fa503e38219","datavalue":{"value":"W2101210443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356977$FFC39EE3-171B-4B34-948F-7EBD317EB11F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac251fc98be39d3929f998a2fa5c257efc64eb3","datavalue":{"value":{"entity-type":"item","numeric-id":688517,"id":"Q688517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1c7ad23c88a908b1081fd87d753558c9c99ba8","datavalue":{"value":{"amount":"+0.8406699895858765","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":"Q1356977$2AED74C0-0D3D-4C1F-9DCE-F9F22411AB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ca755b0b699dbde07cffca24758dd0c41df733","datavalue":{"value":{"entity-type":"item","numeric-id":2964050,"id":"Q2964050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f059d6ff5a99edc610ec54cfa05e299aa6f534","datavalue":{"value":{"amount":"+0.816998302936554","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":"Q1356977$7A49B477-3D36-461B-81A1-1A3B78F99C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37cdc867540d3327316aaca8e70704d62e8313ce","datavalue":{"value":{"entity-type":"item","numeric-id":4314783,"id":"Q4314783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d256235de23187383605d253b798e45e40e493","datavalue":{"value":{"amount":"+0.8049341440200806","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":"Q1356977$5F80EF39-65C9-4C38-A17A-E1CB6FC59D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c13ad183b4e1c66bb75f590486136f8f9be5e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1337358,"id":"Q1337358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cff23e2203c21606becb6c8a4cd5fe215fcf33","datavalue":{"value":{"amount":"+0.8046777248382568","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":"Q1356977$FA18A93D-B7FB-42D1-BBD1-2D385517258F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Can a small forcing create Kurepa trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Can_a_small_forcing_create_Kurepa_trees"}}}}}