{"entities":{"Q1567337":{"pageid":1578077,"ns":120,"title":"Item:Q1567337","lastrevid":74189154,"modified":"2026-04-14T18:52:06Z","type":"item","id":"Q1567337","labels":{"en":{"language":"en","value":"Strongly Baire trees and a cofinal branch principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1455688"}},"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":"Q1567337$0C862C20-CEB3-4A8A-AA70-63FA64F58E59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5fd2ab12561d07c10b08665574f5871be7da4e8","datavalue":{"value":{"text":"Strongly Baire trees and a cofinal branch principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1567337$100283B7-35D4-4D17-B40A-5C5A20012322","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50062319803bee35f151e5493b56a3857f5f1453","datavalue":{"value":"0951.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567337$EDF9138B-EFA2-4BB6-B992-6CCD03B23626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"990b12adec5b04a926b4117faed67baaf2893d04","datavalue":{"value":"10.1007/BF02773564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567337$48D7CDA1-6878-4A05-8738-4FCCAA55F82F","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":"Q1567337$61F49293-C785-4C41-8411-AF6DD4951080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a293b32d791126f92ce379ae6161ce6d2eae424","datavalue":{"value":{"time":"+2000-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1567337$A2CAEC8B-12CB-49B6-9719-B283E09BD8C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7dbd279725dcd467f65684d38d4c0b302278e4a","datavalue":{"value":"A partially ordered set \\((P, \\leq)\\) is said to be \\((\\omega,\\infty)\\)-distributive (or Baire) if the intersection of any countable family of dense open subsets of \\(P\\) is itself a dense open subset of \\(P\\). The author introduces a stronger property, \\(P\\) is ``strongly Baire'', which he shows holds if and only if \\(P\\) is \\((\\omega,\\infty)\\)-distributive and forcing with \\(P\\) preserves stationary subsets of \\(\\omega_1\\). (He also gives a game theoretic characterisation of the strongly Baire property.) He introduces the Cofinal Branch Principle: this is the statement that every strongly Baire tree of height \\(\\omega_1\\) has a cofinal branch. The author observes that the semiproper forcing axiom implies the cofinal branch principle. The main results in this paper are that the cofinal branch principle implies that Todorcevic's strong reflection principle holds, that there is no Souslin tree, and that MA\\({}^+\\)(\\(\\sigma\\)-closed) holds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567337$31A887D2-5A52-40D5-A899-6EC83E1BA5EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567337$D6F652CB-CBA0-4A5A-A5CD-0E6D73ACDEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567337$D5368869-34CA-4D52-8007-F1B3783C99F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567337$5191CFE7-E3E5-43C6-91C8-08D2F7A56B4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9415f5cbc6f7da7859c7eef59981890526c9a421","datavalue":{"value":"1455688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567337$293C9E8E-D6E0-4E96-BDDD-A749F098CF23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50381289184eaa4d09bbce49da74f55d8222ab08","datavalue":{"value":"strongly Baire tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567337$B45E5470-2173-43EE-80D4-E92C28BEAD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092273667b0550dd335eee7e09d79fb17d0186af","datavalue":{"value":"Souslin tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567337$7A02D576-E344-4D16-A583-A04B9723281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a581aaedd5942d1fe8bd97f6f58d1c8aff10f525","datavalue":{"value":"\\((\\omega,\\infty)\\)-distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567337$14B29585-862B-4FB8-A294-D1BCBC77A367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27223b2e5b4c617ade56433504bc2d1238f3c970","datavalue":{"value":"strong reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567337$2E2B122A-7B6B-44D6-A98C-33EBF763C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15b80e4bf972540b829a7f4ec3b6e6bfb8fcde6","datavalue":{"value":"semiproper forcing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567337$CD72E307-7F1C-4BA0-8606-5EFE5ED7962B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2fe1204a596f5dc884d490889bbecf2a1785f24","datavalue":{"value":{"entity-type":"item","numeric-id":587964,"id":"Q587964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$14F4C982-16BE-4146-8E39-2FD2A8571D3C","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":"Q1567337$0E7AEF7F-D719-49CE-96CE-AB10D71E4DAA","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":"Q1567337$AA08DDE7-A105-43A3-A784-A0C719B1784F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cb37dd9e087d4098f5a98f3745fe35a03c4a35","datavalue":{"value":{"entity-type":"item","numeric-id":3684115,"id":"Q3684115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$0B87B9E2-15C1-4B3E-B70E-9F622FA0CB07","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":"Q1567337$9B34248B-F9F6-436E-8018-92BBC86AFC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051367250ae0422ffa3b469ad0319ef166187441","datavalue":{"value":{"entity-type":"item","numeric-id":1188972,"id":"Q1188972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$D1133B55-F842-4957-82B8-40802F9D9F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5134c2b07c1057e604bc6d0347c7772e6f81449","datavalue":{"value":{"entity-type":"item","numeric-id":4254617,"id":"Q4254617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$467A29EC-8083-4EC3-B880-E73806FF962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eb87f459688ca3669e3e51908f2e16709d47e0","datavalue":{"value":{"entity-type":"item","numeric-id":3820595,"id":"Q3820595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$429439FB-0080-457B-8C54-AC32A637492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5422d4c184cf13a78bd623f63afad7a7cac4e0","datavalue":{"value":{"entity-type":"item","numeric-id":4265405,"id":"Q4265405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$F515BCC6-B8D7-4260-91F2-ED29C26E70F8","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":"Q1567337$56503B16-41DB-4740-AA2A-D96B684B4674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e107aed859179480c2d54260ca6f9f87aa4a1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3735701,"id":"Q3735701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$09938C52-1BA8-4624-86F3-DAFC8BE878FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e94035e9c577f2a3dac0616a254db16a378cafe","datavalue":{"value":{"entity-type":"item","numeric-id":4073413,"id":"Q4073413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$9E924852-634B-4343-8F65-FD0A48EAFB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007f17e3441fd265e57908ab0f98cf65c1116960","datavalue":{"value":{"entity-type":"item","numeric-id":5677492,"id":"Q5677492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$9A205875-DAEF-458D-94C1-01A8DDA02CE3","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":"Q1567337$CC1D22E3-B4B2-404A-98DA-658B950FBF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8729b05ccadd6830fb47bece64152b91ccccb269","datavalue":{"value":{"entity-type":"item","numeric-id":760425,"id":"Q760425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$682C5936-5BB8-4AAF-9F25-C5B2DB2E7362","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":"Q1567337$60FA4C1C-915C-4739-A9B4-514BFDF8E90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a941bf7cafb1e8158df287b953680bb7566a77de","datavalue":{"value":{"entity-type":"item","numeric-id":4138709,"id":"Q4138709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$AD8F3646-55A5-4BB2-AF57-6F6A74A361CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3230d1d6a60c7543058c6572a5229cdf124d6771","datavalue":{"value":{"entity-type":"item","numeric-id":3026998,"id":"Q3026998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$37974EFE-9685-44AA-B1D4-2B7E0F0DB058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07f93d11219b7cce5bb4c08dae941307b0f57be","datavalue":{"value":{"entity-type":"item","numeric-id":3037413,"id":"Q3037413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$F0F5D011-EC06-4659-9D30-0800946AFF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9637c64152e0af4a7b63d22728ac9533cbe01db6","datavalue":{"value":{"entity-type":"item","numeric-id":1082334,"id":"Q1082334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$F2DFFBF8-D98B-4163-A7DD-6120F360A082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f227a734244502f62d9c053dc428366e0f3df5d","datavalue":{"value":{"entity-type":"item","numeric-id":4881862,"id":"Q4881862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567337$715CC65B-87FC-4A92-8EDC-AB28C9173EE2","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":"Q1567337$89E4D1A1-5E19-41A6-AE53-9279BEBE1AB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ad12da331ad20dccfc0b8ff2a8ee31fea01463","datavalue":{"value":{"entity-type":"item","numeric-id":2866031,"id":"Q2866031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4464e91df46424cddb08cc797a1b75dcbe5db98c","datavalue":{"value":{"amount":"+0.7235416769981384","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":"Q1567337$1AFF4178-C9FF-40FD-9060-44E688486626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fce047b19e822bdc4904c6e1605bb8b63102d94c","datavalue":{"value":{"entity-type":"item","numeric-id":4032667,"id":"Q4032667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a33f0397878e5a8d7c7602478502eb6a61a835","datavalue":{"value":{"amount":"+0.7164610624313354","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":"Q1567337$C0957662-627F-4602-9570-32F0CA5F25C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e9ec3448860376ecd836012502042c084007b6","datavalue":{"value":{"entity-type":"item","numeric-id":5114805,"id":"Q5114805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38e9f85fd303deaac0e5fae875588ad1983cd06","datavalue":{"value":{"amount":"+0.7111364603042603","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":"Q1567337$DD22AB41-2A7B-4FAE-8CA5-22E16672373F","rank":"normal"},{"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":"984c99f7e19c9e728fdc713190e11bd91b008dbf","datavalue":{"value":{"amount":"+0.7103787660598755","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":"Q1567337$553C4F42-A712-4713-AA77-5EFDE4F3DCDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongly Baire trees and a cofinal branch principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongly_Baire_trees_and_a_cofinal_branch_principle"}}}}}